1) Modus ponens («правило вывода»):если A и A→B — выводимые формулы, то B также выводима.
Форма записи: 
, где A, B — любые формулы.
2) Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключений»).
Форма записи: 
.
3) правило транзитивности
4) Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными. По крайней мере, одно из них ложно 
5) Контроппозиция - закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).
.
6)
7)
8)
9)
10)
11)
12)
13)
14) правило дилемм а)
б)
в)
г)
Теорема дедукции: если правильно ................................, то правильно..................... и наоборот.
пример: любой человек, рожденный вне страны, одним из родителей которого является гражданин страны, является гражданином страны
(дописать со значками!)
