Z10329: Difference between revisions

Revision as of 08:41, 17 January 2024

This page displays in a limited way without JavaScript.

@@ Line 26: / Line 26: @@
                             "Z11K1": "Z1025",
                             "Z11K2": "przesłanka"
+                        },
+                        {
+                            "Z1K1": "Z11",
+                            "Z11K1": "Z1430",
+                            "Z11K2": "erster Wert"
                         }
                     ]
@@ Line 47: / Line 52: @@
                             "Z11K1": "Z1025",
                             "Z11K2": "następnik"
+                        },
+                        {
+                            "Z1K1": "Z11",
+                            "Z11K1": "Z1430",
+                            "Z11K2": "zweiter Wert"
                         }
                     ]
@@ Line 86: / Line 96: @@
                 "Z11K1": "Z1830",
                 "Z11K2": "含意"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1430",
+                "Z11K2": "boolesche Implikation"
             }
         ]
@@ Line 130: / Line 145: @@
                 "Z11K1": "Z1830",
                 "Z11K2": "1つ目の値が2つ目の値を含意するかどうかを判定する"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1430",
+                "Z11K2": "prüft, ob der erste Wert den zweiten impliziert"
             }
         ]