Z10356: Difference between revisions

Latest revision as of 17:33, 20 January 2024

This page displays in a limited way without JavaScript.

@@ Line 25: / Line 25: @@
             "Z844K2": {
                 "Z1K1": "Z40",
-                "Z40K1": "Z42"
+                "Z40K1": "Z41"
             }
         }
@@ Line 36: / Line 36: @@
                 "Z1K1": "Z11",
                 "Z11K1": "Z1025",
-                "Z11K2": "prawda implikowana przez fałsz: daje fałsz"
+                "Z11K2": "prawda implikowana przez fałsz: daje prawdę"
             },
             {
                 "Z1K1": "Z11",
                 "Z11K1": "Z1002",
-                "Z11K2": "true implied by false is false"
+                "Z11K2": "true implied by false is true"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1430",
+                "Z11K2": "wahr wird impliziert durch falsch ist wahr"
             }
         ]