Hej

Jag fick en fråga om de extra bilderna från föreläsning 1.

Jag presenterade lite bakgrund i form av bilder om satslogik och predikatlogik

från kursen DD1350 (F2,F3,F4) h17. Samma material presenteras ht18 i DD1351.

Man kan hitta material av denna typ på nätet t.ex. i wikipedia och på andra ställen.

Jag kommer att göra en sammanfattning av vad av detta

ni behöver veta för tenta och vidare studier i kursen, men kanske inte före morgonsagens övning..

Vill ni leta info själva, anv'nd t.ex .sökord som "satslogik" ("propositional logic").,

"predikatlogik", "predicate logic". "Naturlig deduktion" ("Natural deduction").

mvh -Thomas S.