sep-16-14_12

notes-sep-12.txt

@@ -0,0 +1,17 @@
+SVT måste ha 2^n rader
+Svar utan förklaring är inte ett korekt svar
+
+Logik 3
+
+^ = &&
+v = ||
+
+- Inferensregler
+  - Reductio ad absurdum (Motsägelsebevid): !p -> F0 => p
+  - Modus ponens: (p -> q) && p => q
+  - Modus tollens: (p -> q) && !q => !p
+  - Disjunktiv syllogism: (p || q) && !p => q
+  - Disjunktiv Förstärkning: p => p || q
+  - Konjuktiv förenkling: p && q => p
+  - Hypotetisk syllogism: (p -> q) && (q -> r) => (p -> r)
+