Intro

[25.06.2020] [Nørderier/Teori]

• Intro
• Udvidelse af udsangslogik
• Syntaks
• Semantik
• Naturlig Deduktion
• Ækvivalenser

Her en gennemgang af prædikatlogik. Denne skal ses i forlængelse af udsagnslogik. Vi vil gennemgå emnerne listet over her. Vi bruger bogen Logic in Computer Science ... som udgangspunkt. Jeg har skippet alt der har med datalogi at gøre. Vi bruger BoxProver