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 |
The ghost is imaginary.
The ghost is immortal
The ghost is animal.
The ghost is carnivorous.
The ghost is ferocious.
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 |