- .
- , , , , , . : - . - , (. modus ponendo tollens), -, , ( , ). : : (( \/ \/ ) /\ ) → ( /\ ), ( \/ \/ ) ; ; (( \/ \/ ) /\ ) , ; ( /\ ) , ; (→) , . - , (. modus tollendo ponens), -, , , ( , ). : : (( \/ \/ ) /\ ( /\ )) → a. - . . , - , . ? ( ; . 3). - . . , , .
, . , , .. , . , , , . , - , - . , , .