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 |