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) правило дилемм а)
б)
в)
г)
Теорема дедукции: если правильно ................................, то правильно..................... и наоборот.
пример: любой человек, рожденный вне страны, одним из родителей которого является гражданин страны, является гражданином страны
(дописать со значками!)