p ; p → q ; q → r ∴ p ∧ (q ∧ r) TRUE
| p | ||
| p → q | ||
| q → r | ||
 | p ∧ (q ∧ r) |
Truth check table
| Case | p | q | r | p → q | q → r | p ∧ (q ∧ r) |
|---|---|---|---|---|---|---|
| 1 | T | T | T | T | T | T |
| 2 | T | T | F | T | F | F |
| 3 | T | F | T | F | T | F |
| 4 | T | F | F | F | T | F |
| 5 | F | T | T | T | T | F |
| 6 | F | T | F | T | F | F |
| 7 | F | F | T | T | T | F |
| 8 | F | F | F | T | T | F |
Public: Yes;
Show truth table: Yes;