Logic/Conversion, inversion and contraposition

From Internet Web School

Revision as of UNIQfba99a91755caeb-MathJax-2-QINU2
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Logic > Conversion, inversion and contraposition

Contents

Overview

Definition of conversion, inversion and contraposition by truth table.

0 means false, 1 means true, and ≡ means equivalent.

If "P→Q" then its conversion is "Q→P", inversion is "¬P→¬Q" and contraposition is "¬Q→¬P".

 P  Q  P→Q  ¬P  ¬Q  Q→P:逆  ¬P→¬Q:裏  ¬Q→¬P:対偶 
0 0 1 1 1 1 1 1
0 1 1 1 0 0 0 1
1 0 0 0 1 1 1 0
1 1 1 0 0 1 1 1

CAI Exercise

Personal tools
In other languages