Die Aussagensemantik und -axiomatik kombinierte der Stoiker Chrysippos von Soli, der den ersten aussagenlogischen Kalkül formulierte.
diː ˈaʊszˌɑːɡənzeːmˌantiːk ʊnt ˌaksɪoːmˈɑtiːk kˌɔmbiːnˈiːɾtə dɛɾ ʃtˈoːɪkɜ kɾˈyːzɪpˌoːs fɔn zˈoːliː, dɛɾ deːn ˈeːɾstən ˈaʊszˌɑːɡənlˌoːɡɪʃən kˈalkyːl fˌɔɾmuːlˈiːɾtə.