Konstruktion af sandhedstabeller

[17.12.2023] [Nørderier/Teori]

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

Jeg har lavet et program til min terminal der kan konstruere sandhedstabeller. Fordi det er dødssygt at gøre. Det bruges ved at skrive prop2table "expr" hvor expr er et udtryk. Feks. p -> q.

...

Index Del