Logikövning 8

1. Anatag följande premisser:

Om förhandlingarna inte lyckas, så blir det strejk.
Om det blir strejk, så stannar transporten och maten tar slut i affärerna.
Om förhandlingarna lyckas, så skriver man under ett avtal.
Man skriver inte undar ett avtal.

Tar maten slut i affärerna eller inte? Härled den rätta slutsatsen.

2. Bevisa att om solen skiner och det regnar, så skiner solen eller så regnar det.

3. Härled satsen "Det regnar inte" från satserna "Om det regnar, så skiner inte solen" och "Det regnar inte eller solen skiner".

Tillbaka.