Sandhedstabel for (((A→B)∧(B→C))→(A→C))
(((A→B)∧(B→C))→(A→C))
Egenskaber: Tautologi
| A | B | C | (((A→B)∧(B→C))→(A→C)) |
|---|---|---|---|
| Falsk | Falsk | Falsk | Sand |
| Sand | Falsk | Falsk | Sand |
| Falsk | Sand | Falsk | Sand |
| Sand | Sand | Falsk | Sand |
| Falsk | Falsk | Sand | Sand |
| Sand | Falsk | Sand | Sand |
| Falsk | Sand | Sand | Sand |
| Sand | Sand | Sand | Sand |