Z10334: Διαφορά μεταξύ των αναθεωρήσεων
T->F = F |
de |
||
| Γραμμή 42: | Γραμμή 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" |
|||
} |
} |
||
] |
] |
||
Αναθεώρηση της 09:54, 18 Ιανουαρίου 2024
This page displays in a limited way without JavaScript.