MenuForside/BlogadenTeksterUfnetMusikNoerderierSozialOm

Udsagnslogik : Syntaks - Nørderier/Teori

OBS! Denne artikel får stadig besøg ind i mellem. Den er ikke blevet opdateret siden jeg skrev den. Der er en masse tegn i artiklen der ikke er korrekt formateret. Indholdet her er i stedet på vej over på min engelsksprogede del af siden: https://brkmnd.com/pages/logic/Default.aspx?id=3.

Formelt. For udsagnslogik er følgende syntaks givet med BNF: $$atom \rightarrow p, q, r ...$$ og $$\theta \rightarrow \theta \land \theta\ |\ \theta \lor \theta\ |\ \theta \rightarrow \theta\ |\ \neg \theta\ |\ atom$$ for \(\theta\) en formel, og hvor hver af ∧, ∨, ¬ og → kaldes konnektiver.

Der eksisterer også biimplikation, ↔, samt andre sammensatte konnektiver, men disse indgår ikke i naturlig deduktion og er derfor ikke med her.