Den ersten aussagenlogischen Kalkül mit Schlussregeln formulierte Gottlob Frege im Rahmen seiner Begriffsschrift 1879.
deːn ˈeːɾstən ˈaʊszˌɑːɡənlˌoːɡɪʃən kˈalkyːl mɪt ʃlˈʊsreːɡəln fˌɔɾmuːlˈiːɾtə ɡˈɔtloːp frˈeːɡə ɪm rˈɑːmən zˌaɪnɜ bəɡɾˈɪfsçrɪft ˈaɪn tˈaʊzənt ˈaxthˈʊndɜt nˈɔøn ʊntzˈiːptsɪç.