- .
- , . , . :
- : (( → ) /\ ) → ( → ) () (); (( → ) /\ ) , ; , (. modus tollens) , , . : - : (( → ) /\ ) → .
, , . , , , .. ( , , ). , : , , , .. ( , , , ). - . , .. ( ), . . , - , (( → ) /\) → . . , .. ( ), . . , - , (( → ) /\ ) → . ., ( → ) ( ↔ ). , , , .. , () . , , -. : (( ↔ ) /\ ) → .
- (. ), - :(( ↔ ) /\ ) → ;(( ↔ ) /\ ) → ;(( ↔ ) /\ ) → ;(( ↔ ) /\ ) → .
- . , . : (( → ) /\ ( → )) → ( → ).