If the ghost is in our imagination, then it is immortal. But if it is not in our imagination, then it is mortal and animal. TRUE
If ghost is our imagination, then it is immortal. But if it is not imagination, then it is mortal and animal. If the ghost is either immortal or animal, then it is carnivorous. A ghost is ferocious if it is carnivorous.
| G → I | ||
| ~ G → ( ~ I ∧ A) | ||
| (I ∨ A) → C | ||
| C → F | ||
 | G → F |
G
The ghost is imaginary.
I
The ghost is immortal
A
The ghost is animal.
C
The ghost is carnivorous.
F
The ghost is ferocious.
Truth check table
| Case | G | I | A | C | F | G → I | ~ G → ( ~ I ∧ A) | (I ∨ A) → C | C → F | G → F |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | T | T | T | T | T | T | T | T | T | T |
| 2 | T | T | T | T | F | T | T | T | F | F |
| 3 | T | T | T | F | T | T | T | F | T | T |
| 4 | T | T | T | F | F | T | T | F | T | F |
| 5 | T | T | F | T | T | T | T | T | T | T |
| 6 | T | T | F | T | F | T | T | T | F | F |
| 7 | T | T | F | F | T | T | T | F | T | T |
| 8 | T | T | F | F | F | T | T | F | T | F |
| 9 | T | F | T | T | T | F | T | T | T | T |
| 10 | T | F | T | T | F | F | T | T | F | F |
| 11 | T | F | T | F | T | F | T | F | T | T |
| 12 | T | F | T | F | F | F | T | F | T | F |
| 13 | T | F | F | T | T | F | T | T | T | T |
| 14 | T | F | F | T | F | F | T | T | F | F |
| 15 | T | F | F | F | T | F | T | T | T | T |
| 16 | T | F | F | F | F | F | T | T | T | F |
| 17 | F | T | T | T | T | T | F | T | T | T |
| 18 | F | T | T | T | F | T | F | T | F | T |
| 19 | F | T | T | F | T | T | F | F | T | T |
| 20 | F | T | T | F | F | T | F | F | T | T |
| 21 | F | T | F | T | T | T | F | T | T | T |
| 22 | F | T | F | T | F | T | F | T | F | T |
| 23 | F | T | F | F | T | T | F | F | T | T |
| 24 | F | T | F | F | F | T | F | F | T | T |
| 25 | F | F | T | T | T | T | T | T | T | T |
| 26 | F | F | T | T | F | T | T | T | F | T |
| 27 | F | F | T | F | T | T | T | F | T | T |
| 28 | F | F | T | F | F | T | T | F | T | T |
| 29 | F | F | F | T | T | T | F | T | T | T |
| 30 | F | F | F | T | F | T | F | T | F | T |
| 31 | F | F | F | F | T | T | F | T | T | T |
| 32 | F | F | F | F | F | T | F | T | T | T |
Public:
Yes
,
Show truth table:
Yes
,
Tags: