12
Ф3-5
Некоторые кошки бесхвосты.
Все кошки — млекопитающие.
Некоторые млекопитающие бесхвосты.
Ф3-6
Ни одно дерево не съедобно.
Некоторые деревья зелёные.
Некоторые зелёные вещи не съедобны.
Ф4-1
Все яблоки в моём саду полезны.
Все полезные фрукты зрелы.
Некоторые зрелые фрукты — яблоки в моём саду.
Ф4-2
Все яркие цветы ароматны.
Ни один ароматный цветок не выращен в помещении.
Ни один выращенный в помещении цветок не ярок.
Ф4-3
Некоторые небольшие птицы питаются мёдом.
Все питающиеся мёдом птицы цветные.
Некоторые цветные птицы небольшие.
Ф4-4
Ни один человек не совершенен.
Все совершенные существа мифические.
Некоторые мифические существа не люди.
Ф4-5
Ни один компетентный человек не ошибается.
Некоторые ошибающиеся люди работают здесь.
Некоторые работающие здесь люди некомпетентны.
Рассмотрим теперь некоторые более сложные правила вывода.
В качестве примера возьмем известную всем ситуацию из фильма "Ирония судьбы":
– Кто из
нас летит в Ленинград? На каком шаге рассуждений
героя артиста Буркова
была допущена ошибка?
Достарыңызбен бөлісу: 
