(((A→B)∧(B→C))→(A→C)) için doğruluk tablosu
(((A→B)∧(B→C))→(A→C))
Özellikler: Totoloji
| A | B | C | (((A→B)∧(B→C))→(A→C)) |
|---|---|---|---|
| Yanlış | Yanlış | Yanlış | Doğru |
| Doğru | Yanlış | Yanlış | Doğru |
| Yanlış | Doğru | Yanlış | Doğru |
| Doğru | Doğru | Yanlış | Doğru |
| Yanlış | Yanlış | Doğru | Doğru |
| Doğru | Yanlış | Doğru | Doğru |
| Yanlış | Doğru | Doğru | Doğru |
| Doğru | Doğru | Doğru | Doğru |