(((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)) |
|---|---|---|---|
| 거짓 | 거짓 | 거짓 | 참 |
| 참 | 거짓 | 거짓 | 참 |
| 거짓 | 참 | 거짓 | 참 |
| 참 | 참 | 거짓 | 참 |
| 거짓 | 거짓 | 참 | 참 |
| 참 | 거짓 | 참 | 참 |
| 거짓 | 참 | 참 | 참 |
| 참 | 참 | 참 | 참 |