Modus Ponendo Ponens P -> Q P ------- Q
Силлогизм P -> Q Q -> R ------- P -> R
Modus Tollendo Tollens P -> Q ~Q ------ ~P
Расширение P ------ P + Q
Специализация P * Q Q ----- P
Конъюнкция P Q ----- P * Q
Выбор P P -> (R + S) R -> Q S -> Q ----------- Q
P + Q P -> (R + ~R) ------------- Q Исключающий выбор
Reductio ad Absurdum Сведение к абсурду (доказательство от противного) ~P -> (R + ~R) -------------- P
Modus Ponendo Tollens ~(A + B) A -------- ~B
Modus Tollendo Ponens A + B ~A ------- B
Докажем какой нибудь из принципов формальной логики например силлогизм P -> Q Q -> R ------- P -> R Запишем правило словами: Если P->Q верно и Q->R верно, то P->R тоже верно --------------------------------------------- P Q S P->Q Q->S P->S --------------------------------------------- 0 0 0 1* 1* 1* 0 0 1 1* 1* 1* 0 1 0 1 0 1 0 1 1 1* 1* 1* 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1* 1* 1* --------------------------------------------- Видем что все правильно Доказательство