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

UptoLike

ВУЗ: 

ОмГТУ | Омск

Составители: 

Рубрика: 

96
Пример
Если в рассуждениях используется формула А∧В, в которой А является фор-
мулой (p⊃q), а В является формулой (¬(r⊃s)), то, применяя правило ∧
и
, получим
новые формулы (p⊃q) и (¬(r⊃s)).
2.2. — исключение дизъюнкции (обозначим символом «∨
и
»), выражаемое
схемой:
А ∨ В, ¬А
______________
.
В
Правило исключения дизъюнкции является двухпосылочным. Оно позволяет
при наличии в рассуждениях высказывания дизъюнктивной формы и высказыва-
ния, являющегося отрицанием левого члена этой дизъюнкции, перейти к правому
её члену, т. е. использовать в дальнейшем рассуждении отделённый правый
дизъюнкт в качестве самостоятельного элемента.
Пример
Если формула А∨В
является формулой ((p∧q)∨(r≡s)), то, применяя к ней пра-
вило ∨
и
, получим новую формулу (r≡s).
2.3. — исключение импликации (обозначим символом «⊃
и
»), выражаемое
схемой:
А ⊃ В, А
____________
.
В
Правило исключения импликации является двухпосылочным, позволяющим
применительно к любой импликативной формуле в цепочке рассуждений отде-
лить от антецедента консеквент, т. е. использовать далее отделённый консеквент
в качестве самостоятельного звена рассуждений.
Пример
Если формула А является формулой (p∧q) и формула В является формулой
(r∨s), то,
применяя к формуле А⊃В правило ⊃
и
, получим новую формулу (r∨s).
2.4. — исключение отрицания (обозначим символом «¬
и
»), выражаемое схе-
мой:
¬¬А
_______
.
А 
     ™ Пример
   Если в рассуждениях используется формула А∧В, в которой А является фор-
мулой (p⊃q), а В является формулой (¬(r⊃s)), то, применяя правило ∧и, получим
новые формулы (p⊃q) и (¬(r⊃s)).

   2.2. — исключение дизъюнкции (обозначим символом «∨и»), выражаемое
схемой:

                                   А ∨ В, ¬А
                                   ______________
                                                         .
                                        В

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

      ™ Пример
   Если формула А∨В является формулой ((p∧q)∨(r≡s)), то, применяя к ней пра-
вило ∨и, получим новую формулу (r≡s).

   2.3. — исключение импликации (обозначим символом «⊃и»), выражаемое
схемой:

                                   А ⊃ В, А
                                   ____________
                                                     .
                                        В

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

       ™ Пример
   Если формула А является формулой (p∧q) и формула В является формулой
(r∨s), то, применяя к формуле А⊃В правило ⊃и, получим новую формулу (r∨s).

   2.4. — исключение отрицания (обозначим символом «¬и»), выражаемое схе-
мой:

                                       ¬¬А
                                       _______
                                                 .
                                         А

                                      96

Страницы