• Matematik
• Matematisk logik
• Prædikatlogik
• Domslogik Se mere

For at udtrykke udsagn i formel logik, så anvender man såkaldte konnektiver (forbindelsesled). Disse kan have forskellige tegn, alt efter hvilket sted man studerer ved. Se mere

Bemærk at ".", "-" og "*" er placeret for mere overblik over udregningsprocessen. "." bruges til at udregne "-", og "-" til at udregne "*".
Bemærk at ".", "-" og … Se mere

I prædikatslogik bygger man ovenpå udsagnslogik, og tilføjer to såkaldte kvantorer. De ser sådan ud:
• Eksistenskvantoren … Se mere

Eksempel uden kvantorer:
For mere overblik over fremgangen, så er hhv. "A1-B2" placeret på venstre side og "1a-4b" på højre. … Se mere

• deduktion, induktion (psykologi), konjunktion, logisk operator, modus ponens, modus tollens, fuzzy logik, udsagnslogik, prædikatlogik, mængdelære, hypotese, aksiom Se mere

• Espersen, Jon: Logik og argumenter. Kbh. 1975.
• Hendricks, Vincent F., Thought 2 Talk: A Crash Course in Reflection and Expression, 2006, … Se mere