Логика и теория аргументации. Скачков А.С. - 88 стр.

   Докажем методом таблиц истинности, что эта формула также является зако-
ном классической логики высказываний (рис. 25):

 a    b   ¬b    c     d      ((a ≡ (b ∨ ¬b) ∧ (¬b ≡ (c ∨ d)) ⊃ ((а   ≡ (b ∨ (c ∨ d))
 и    и    л    и     и          и    и     и     и    л     и       и и л
 и    и    л    и     л          и    и     л     л    и     и       л л и
 и    и    л    л     и          и    и     л     л    и     и       л л и
 и    и    л    л     л          и    и     и     и    л     и       и и л
 и    л    и    и     и          и    и     л     л    л     и       л л л
 и    л    и    и     л          и    и     и     и    и     и       и и и
 и    л    и    л     и          и    и     и     и    и     и       и и и
 и    л    и    л     л          и    и     л     л    л     и       л л л
 л    и    л    и     и          л    и    л      и    л     и       л и л
 л    и    л    и     л          л    и    л      л    и     и       и л и
 л    и    л    л     и          л    и    л      л    и     и       и л и
 л    и    л    л     л          л    и    л      и    л     и       л и л
 л    л    и    и     и          л    и    л      л    л     и       и л л
 л    л    и    и     л          л    и    л      и    и     и       л и и
 л    л    и    л     и          л    и    л      и    и     и       л и и
 л    л    и    л     л          л    и    л      л    л     и       и л л

                                   Рис. 25

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

                              1) ((А∨В)∧¬А)⊃В,
                              2) ((А∨В)∧¬В)⊃А.
      ™ Пример
   Так как мир иллюзий является либо действительно существующим, либо су-
ществующим мнимо и он не является действительно существующим, следова-
тельно, мир иллюзий является существующим мнимо.
   Или: «Поскольку все части речи делятся на знаменательные и служебные и
рассматриваемая часть речи не является служебной, значит, рассматриваемая
часть речи является знаменательной». В дальнейшем, в рамках натурального ис-

                                      88