1

2

3

4

1

Правило заключения –

 утверждающий модус (Modus Ponens)

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

2

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

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

3

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

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

4

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

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

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

5

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

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

6

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

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

1

2

3

4

7

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

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

8

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

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

9

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

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

10

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

11

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

12

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