Mathematische Logik – bettermarks Deutschland https://de.bettermarks.com/mathe/mathematische-logik/
Aufgabe der mathematischen Logik ist es ein Grundlage für die präzise Formulierung mathematischer Aussagen und Beweise zu schaffen. Gewöhnlich wird die klassische Aussagenlogik mit den zwei Wahrheitswerten, „wahr“ oder „falsch“ verwendeteinen Drittes gibt es nicht (tertium non datur; Gesetz vom ausgeschlossenen Dritten). In der mehrwertigen Logik kann es zwischen „wahr“ und „falsch“ auch eine oder […]
Man kann die Aussagelogik auch mit einer einzigen Verknüpfung aufbauen, den von Henry