V Пример. Так как мир иллюзий является либо действительно существующим

Так как мир иллюзий является либо действительно существующим, либо существующим мнимо и он не является действительно существующим, следовательно, мир иллюзий является существующим мнимо.

Или: «Поскольку все части речи делятся на знаменательные и служебные и рассматриваемая часть речи не является служебной, значит, рассматриваемая часть речи является знаменательной». В дальнейшем, в рамках натурального исчисления высказываний данная схема будет означать одно из правил вывода: правило исключения дизъюнкции.

Логический союз «или» в modus tollendo ponens обеспечивает логическое следование при его использовании в любом из возможных смыслов (как в смысле строгой, так и нестрогой дизъюнкции), поэтому законами классической логики высказываний являются четыре формулы данного модуса:

1) ((aÚb)ÙØa)Éb;

2) ((aÚb)ÙØb)Éa;

3) ((a Ú b)ÙØb)Éa;

4) ((a Ú b)ÙØb)Éa.

Вторым правильным модусом является «утверждающе-отрицающий способ рассуждения» (modus ponendo tollens), в котором второй посылкой служит простое категорическое суждение, являющееся в логической структуре первой посылки одним из суждений-дизъюнктов. Так осуществляется переход от утверждения одного (нескольких) из членов дизъюнктивной посылки к отрицанию другого его члена, что может быть выражено в случае двухчленной дизъюнкции только двумя схемами:

1) ((А Ú В)ÙА)ÉØВ,

2) ((А Ú В)ÙВ)ÉØА.

Дата добавления: 2015-09-05