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

                           ((А∧B)⊃C) ⊃((A∧¬C)⊃¬B);
                           ((A∧B)⊃C)⊃((B∧¬C)⊃¬A).

   Опосредованным условным умозаключением является, например, чисто ус-
ловное, т. е. такое опосредованное умозаключение, в котором посылки являются
условными суждениями.

      ™ Пример
   Если предмет является столицей, то он является городом; если предмет явля-
ется городом, то он является населённым пунктом; если предмет является насе-
лённым пунктом, то он является имеющим название; значит, если предмет явля-
ется столицей, то он является имеющим название. Первая посылка данного умо-
заключения — импликативное (условное) суждение, а именно: «Если предмет яв-
ляется столицей, то он является городом» (его формула (a⊃b)). Вторая посылка
— импликативное суждение: «Если предмет является городом, то он является на-
селённым пунктом» (его формула (b⊃c)). Третья посылка — импликативное суж-
дение: «Если предмет является населённым пунктом, то он является имеющим
название» (его формула (c⊃d)). Формула импликативного суждения-заключения
((a⊃d)). Общая формула умозаключения рассмотренной логической формы

                        ((a⊃b)∧(b⊃c)∧(с⊃d))⊃(a⊃d).

   Другая разновидность чисто-условного умозаключения имеет, например, сле-
дующий вид: «Если будет хорошее настроение, то мы будем заниматься англий-
ским, но даже если не будет такого настроения, мы всё равно будем заниматься
английским; значит, мы будем заниматься английским». Его формула

                             ((a⊃b)∧(¬a⊃b))⊃b.

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

                  a    b    ¬a   ((a ⊃ b)   ∧ (¬a ⊃ b))   ∧ b
                  и    и     л       и      и     и       и
                  и    л     л       л      л     и       и
                  л    и    и        и      и     и       и
                  л    л    и        и      л     л       и

                                   Рис. 24

   Простейшим видом условных умозаключений, содержащих помимо имплика-
тивных суждений-посылок не импликативные суждения-посылки, является ус-
ловно-категорическое умозаключение.


                                     85