Die Logik ist die Lehre des vernünftigen Schließens von Prämissen zu Konklusionen.
Die Aussagenlogik beschäftigt sich mit Aussagen (sprachlichen Gebilden), von denen man eindeutig sagen kann,ob sie wahr oder falsch sind. Mit Hilfe von Schlußregeln werden neue Aussagen gewonnen.
Beispiel:
Zwei Prämissen: a. Hans ist kleiner als Karl und b. Karl ist kleiner als Fritz. So kann man daraus schließen, dass Hans kleiner als Fritz ist (auch wenn sich Hans und Fritz noch nie getroffen hätten).
Hat Dir dieser Beitrag gefallen? Mit dem Matheblog.de RSS feed immer auf dem neuesten Stand!
