Διαφοραὶ μεταξὺ ἀναθεωρήσεων τοῦ "Z10962"

Τὰ ἐπὶ 15:20, 20 Ἰανουαρίου 2024

This page displays in a limited way without JavaScript.

@@ Γραμμή 69: / Γραμμή 69: @@
                 "Z11K1": "Z1830",
                 "Z11K2": "非含意"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1157",
+                "Z11K2": "niet-boleaanse implicatie"
             }
         ]
@@ Γραμμή 91: / Γραμμή 96: @@
                 "Z11K1": "Z1830",
                 "Z11K2": "含意演算と逆の結果になる演算"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1157",
+                "Z11K2": "tegenovergestelde van booleaanse implicatie"
             }
         ]