Current Data About
tautology
| (P10) |
Logik - Quatematik.webm
|
||||
| (P61) |
(Q9391)
|
||||
| (P279) |
(Q108163)
|
||||
| (P443) |
LL-Q150 (fra)-Jules78120-Tautologie.wav
|
||||
| (P461) |
(Q363948)
|
||||
| (P913) |
(Q5300115)
|
||||
| (P1889) |
(Q841606)
|
||||
| (P2534) |
((A \land B) \to C) \Leftrightarrow (A \to (B \to C))
|
||||
| (P6104) |
(Q8487137)
|
other details
| description | logical formula which is true in every possible interpretation |
External Links