Check prove (A ∨ B), (A → C), (B → D) therefore (C ∨ D) TRUE
| A ∨ B | ||
| A → C | ||
| B → D | ||
 | C ∨ D |
Truth check table
| Case | A | B | C | D | A ∨ B | A → C | B → D | C ∨ D |
|---|---|---|---|---|---|---|---|---|
| 1 | T | T | T | T | T | T | T | T |
| 2 | T | T | T | F | T | T | F | T |
| 3 | T | T | F | T | T | F | T | T |
| 4 | T | T | F | F | T | F | F | F |
| 5 | T | F | T | T | T | T | T | T |
| 6 | T | F | T | F | T | T | T | T |
| 7 | T | F | F | T | T | F | T | T |
| 8 | T | F | F | F | T | F | T | F |
| 9 | F | T | T | T | T | T | T | T |
| 10 | F | T | T | F | T | T | F | T |
| 11 | F | T | F | T | T | T | T | T |
| 12 | F | T | F | F | T | T | F | F |
| 13 | F | F | T | T | F | T | T | T |
| 14 | F | F | T | F | F | T | T | T |
| 15 | F | F | F | T | F | T | T | T |
| 16 | F | F | F | F | F | T | T | F |
Public:
Yes
,
Show truth table:
Yes
,
Tags: