18 lines
439 B
Plaintext
18 lines
439 B
Plaintext
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)
|
|
|