– Verbindungszeichen zum Erstellen zusammengesetzter Aussagen

– ∧ logisches und (Konjunktion)

– ∨ logisches (inklusives) oder (Disjunktion)

– ¬ logisches nicht (Negation)

– ⇒ Implikation (wenn ... dann)

– ⇔ Äquivalenz (genau dann, wenn)

⇒ Zusammengesetzte Aussagen und Argumente können mittels Junktoren in eine formale Sprache übersetzt werden

•Prämisse 1: “Wenn es regnet, dann wird die Straße nass”.

•Prämisse 2: “Es regnet”

•Schluss: “Die Straße wird nass”

•p = “Es regnet”

•q = “Die Straße wird nass”

• p → q ("Wenn es regnet, wird die Straße nass")

• p ("Es regnet")

• q (Ergo: "Die Straße wird nass")

•oder: [(p → q) ^ p] → q

• Formalismus, der die Beurteilung deduktiver Argumente ermöglicht

• Grundlage der Implementierung von Logik in Computern