[ ]

Als Aussagenlogik bezeichne ich ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

Eine erste Formalisierung für aussagenlogische Tautologien hat G. Boole 1847 mit seinem algebraischen Logikkalkül vorgelegt. Den ersten Kalkül mit Schlussregeln formulierte G. Frege (Prädikatenlogik) im Rahmen seiner Begriffsschrift 1879, auf welcher B. Russell 1908 aufbaute.

Schaltalgebra

[ ]
 
[wp]