Z10962: Difference between revisions

Revision as of 05:44, 31 ᎦᎶᏂᎢ 2023

This page displays in a limited way without JavaScript.

@@ Line 60: / Line 60: @@
                 "Z11K1": "Z1002",
                 "Z11K2": "not boolean implication"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1830",
+                "Z11K2": "非含意"
             }
         ]
@@ Line 77: / Line 82: @@
                 "Z11K1": "Z1002",
                 "Z11K2": "opposite of Boolean implication (Z10329)"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1830",
+                "Z11K2": "含意演算と逆の結果になる演算"
             }
         ]