Övning 5

1. Härled satsen r från premisserna p q, q r och p
2. Antag premisserna p q r och p q. Härled satsen r.
3. Härled satsen ”Logik är inte tråkigt” ur följande premisser:
   • Filosofi eller matematik är roligt.
   • Om logik är tråkigt, så är matematik inte roligt.
   • Filosofi är inte roligt.
4. Härled satsen (p q) ur satsen p q. Tips: Antag negationen av satsen som skall härledas och använd regeln för indirekt bevis.
5. Bevisa att satsen P Q P Q är en tautologi. Tips: Antag satsen P Q och härled från denna sats satsen P Q. Använd sedan regeln för villkorligt bevis.
6. Härled satsen P Q R ur satsen P (Q R).

Studiematerial
Kursens startsida