Date: Mon, 21 Feb 2022 20:52:08
Subject: Bertil Mårtensson, Logik (omläst)

Hej!

Nu har jag repeterat Bertil Mårtenssons bok Logik - En introduktion. Studentlitteratur, 1995, 273 s.

Ca halva handlar om satslogik, bevis och härledningar. Knappt halva om predikatlogik. I slutet även lite om mängder, sannolikhet, relationer, funktioner, talteori mm.

Det är inte den här vi har som kursbok på delkursen som började idag och har tenta 10/3. Men bra att omläsa den i förväg ändå. Lite klurigt ämne ibland, men viktigt och kul att kunna lite om.

Satslogik kan se ut så här
-((P /\ Q) ➔ (P v Q))
-(A /\ B) v C
(A V B) V -(A V (B /\ C))

Predikatlogik så här:
∀x P(x)
∀x(R(x, y) → P(x))
∃x(P(x) ∧ F(x))

mvh aö