| p q | p → q | ¬q → ¬p | (¬q → ¬p) → (p → q) |
|---|---|---|---|
| T T | T | T | T |
| T F | F | F | T |
| F T | T | T | T |
| F F | T | T | T |
| p q | p → q | q → p | (p → q) → (q → p) |
|---|---|---|---|
| T T | T | T | T |
| T F | F | T | T |
| F T | T | F | F |
| F F | T | T | T |
| p q | p → q | ¬p → q | (¬p → q) → q | (p → q) → ((¬p → q) → q) |
|---|---|---|---|---|
| T T | T | T | T | T |
| T F | F | T | F | T |
| F T | T | T | T | T |
| F F | T | F | T | T |