Z10329: verschil tussen versies
Updated the implementation list |
de |
||
Regel 26: | Regel 26: | ||
"Z11K1": "Z1025", |
"Z11K1": "Z1025", |
||
"Z11K2": "przesłanka" |
"Z11K2": "przesłanka" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1430", |
|||
"Z11K2": "erster Wert" |
|||
} |
} |
||
] |
] |
||
Regel 47: | Regel 52: | ||
"Z11K1": "Z1025", |
"Z11K1": "Z1025", |
||
"Z11K2": "następnik" |
"Z11K2": "następnik" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1430", |
|||
"Z11K2": "zweiter Wert" |
|||
} |
} |
||
] |
] |
||
Regel 86: | Regel 96: | ||
"Z11K1": "Z1830", |
"Z11K1": "Z1830", |
||
"Z11K2": "含意" |
"Z11K2": "含意" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1430", |
|||
"Z11K2": "boolesche Implikation" |
|||
} |
} |
||
] |
] |
||
Regel 130: | Regel 145: | ||
"Z11K1": "Z1830", |
"Z11K1": "Z1830", |
||
"Z11K2": "1つ目の値が2つ目の値を含意するかどうかを判定する" |
"Z11K2": "1つ目の値が2つ目の値を含意するかどうかを判定する" |
||
}, |
|||
{ |
|||
"Z1K1": "Z11", |
|||
"Z11K1": "Z1430", |
|||
"Z11K2": "prüft, ob der erste Wert den zweiten impliziert" |
|||
} |
} |
||
] |
] |
Versie van 17 jan 2024 08:41
Zonder JavaScript is de weergave van deze pagina beperkt.