Logik I

Referenser

Noten [L]ogik av Sarah Norell,
nedanstående text samt
[EG] avsnitt 7.1, 7.2.

Nyckelord

Satslogik. Konnektiv, implikation, ekvivalens, sanningstabeller, räknelagar för 'och', 'eller', 'icke', 'det existerar', 'för alla'. Tautologi, kontradiktion (motsägelse).

Inledning

Någonting är sant men din vän tror det inte. Hur kan du övertala henne att det faktiskt är sant? Först tittar vi på lite logik och då på några olika sätt att bevisa saker. Sista delen av detta block är rekursionsformler. Rekursionsformler är mycket användbara i vanliga livet. Ett exempel där man kan använda en rekursionsformel är följande: hur mycket ränta får jag under tio år om jag sätter in 10.000kr, och räntan ligger på 10% per år?

1. Logik

Läs nu noten [L] Logik av Sarah Norell som handlar om logik.
I texten står några symboler som och . Tanken är att lösa uppgifter som är markerade med själv och då försöka förklara dina svar för andra - det kan ni göra t.ex. via epost, tillsammans eller på forum eller övningar. Om ni vill har ett forum för en mindre grupp är det bara att fråga läraren. Uppgifter eller frågor som markeras med är till för att lösa tillsammans och då förklaras som ovan, men tillsammans.

Från detta avsnitt är det viktigaste att du förstår definitioner av t.ex. 'och', 'eller', 'medför', 'om och endast om', 'ekvivalenta', 'icke'. Reglerna i 2.4.1 och 2.5 är viktiga.

Läs så avsnitt 7.1 och 7.2 i [EG].

2. Övningsuppgifter

Övningsuppgifter från [L] Logik:

2.1, 2.2.3, 2.3.5, 2.3.6, 2.4.2, 2.5.2;
2.6.1, 2.6.4, 2.6.6, 2.7.2, 2.8.1.

Övningsuppgifter från [EG] kapitel 7:

7.1, 7.2, 7.3, 7.4, 7.5, 7.6, 7.7, 7.8;
7.9, 7.10, 7.11, 7.12, 7.13;
7.15, 7.18, 7.20, 7.21, 7.22, 7.24.

Week Exercise 10

Lös uppgift 7.71 och uppgift 7.73 i [EG] (sida 225). Motivera alla steg i dina svar!