Intro

[22.11.2023] [Nørderier/Teori]

• Intro
• Udsagnslogik i natursprog
• Syntaks
• Semantik
• Naturlig Deduktion
• Ækvivalenser
• Konstruktion af sandhedstabeller

Her en gennemgang af udsagnslogik. Vi vil gennemgår emner vist i menuen over her.

Jeg har brugt bogen Logic in Computer Science ... som baggrundsmateriale. Jeg har dog droppet alt der har med datalogi at gøre. Så nørdede er vi ikke her. Vi bruger BoxProver til at hjælpe med beviserne når vi kommer til naturlig deduktion under Bevisteori. Jeg har selv lavet et værktøj til at oversætte BoxProver-kode til latex-markup. Det har en github her: brkmnd/boxprover. Videre med os.

Index Del