(((A→B)∧(B→C))→(A→C)) の真理値表
(((A→B)∧(B→C))→(A→C))
プロパティ: トートロジー
| A | B | C | (((A→B)∧(B→C))→(A→C)) |
|---|---|---|---|
| 偽 | 偽 | 偽 | 真 |
| 真 | 偽 | 偽 | 真 |
| 偽 | 真 | 偽 | 真 |
| 真 | 真 | 偽 | 真 |
| 偽 | 偽 | 真 | 真 |
| 真 | 偽 | 真 | 真 |
| 偽 | 真 | 真 | 真 |
| 真 | 真 | 真 | 真 |
(((A→B)∧(B→C))→(A→C))
プロパティ: トートロジー
| A | B | C | (((A→B)∧(B→C))→(A→C)) |
|---|---|---|---|
| 偽 | 偽 | 偽 | 真 |
| 真 | 偽 | 偽 | 真 |
| 偽 | 真 | 偽 | 真 |
| 真 | 真 | 偽 | 真 |
| 偽 | 偽 | 真 | 真 |
| 真 | 偽 | 真 | 真 |
| 偽 | 真 | 真 | 真 |
| 真 | 真 | 真 | 真 |