Semantik

[17.12.2023] [Nørderier/Teori]

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

Semantikken for prædikatlogik er lidt nasty at have med at gøre. Jeg vender måske tilbage til at skrive om den. For beviser kan vi heldigvis bare bruge naturlig deduktion. Altså videre til næste afsnit.

Index Del