Z10334: Skilnad mellom versjonar
T->F = F |
de |
||
| Line 42: | Line 42: | ||
"Z11K1": "Z1002", |
"Z11K1": "Z1002", |
||
"Z11K2": "true implies false is false" |
"Z11K2": "true implies false is false" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1430", |
|||
"Z11K2": "wahr impliziert falsch ist falsch" |
|||
} |
} |
||
] |
] |
||
Versjonen frå 18. januar 2024 kl. 09:54
Denne siden har begrenset visning uten Javascript.