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.