name | form | description |
implication | if P then Q | first statement implies truth of second |
inverse | if not P then not Q | negation of both statements |
converse | if Q then P | reversal of both statements |
contrapositive | if not Q then not P | reversal and negation of both statements |
contradiction | if P then not Q | negation of second statement |
欢迎光临 ChaseDream (https://forum.chasedream.com/) | Powered by Discuz! X3.3 |