Основные схемы логически правильных рассуждений

№

1

Правило заключения – утверждающий модус (Modus Ponens, удаления импликации)

Если из высказывания А следует высказывание В и справедливо (истинно) высказывание А, то справедливо В

2

Правило отрицания – отрицательный модус (Modus Tollens)

Если из А следует В, но высказывание В неверно, то неверно А

3

Правила утверждения-отрицания (Modus Ponendo-Tollens)

Если справедливо или высказывание А, или высказывание В (в разделительном смысле) и истинно одно из них, то другое ложно

4

Правила отрицания-утверждения (Modus Tollen-Ponens)

Если истинно или А, или В (в разделительном смысле) и неверно одно из них, то истинно другое

Если истинно А или В (в неразделительном смысле) и неверно одно из них, то истинно другое (правило удаления дизьюнкции)

5

Правило транзитивности

Если из А следует В, а из В следует С, то из А следует С

6

Правило введения конъюнкции

7

Правило удаления конъюнкции

8

Правило введения дизъюнкции

,

9

Правило введения эквиваленции

10

Правило удаления эквиваленции

11

Правило контрапозиции

Если из А следует В, то из того, что неверно В, следует, что неверно А

12

Если формула (F₁F₂) имеет значение “и”, то истинной является формула ((F₁F₃)(F₂F₃) при любом значении F₃

13

Если формула (F₁F₂) имеет значение “и”, то истинной является формула ((F₁&F₃)(F₂&F₃)) при любом значении F₃

14

Правило сложной контрапозиции

Если из А и В следует С, то из А и следует

15

Правило сечения

Если из А следует В, а из В и С следует D, то из А и С следует D

16

Правило импортации (объединения посылок)

17

Правило экспортации (разъединения посылок)

18

Правила дилемм

19

Закон противоречия

Если из А следует В и , то неверно А