Eine erste vollständige und entscheidbare Formalisierung für aussagenlogische Tautologien – allerdings noch nicht für das aussagenlogische Schließen – schuf George Boole 1847 mit seinem algebraischen Logikkalkül.
ˌaɪnə ˈeːɾstə fˈɔlʃtˌɛndɪɡə ʊnt ɛntʃˈaɪdbɑːrə fˌɔɾmaliːzˈiːrʊŋ fyːɾ ˈaʊszˌɑːɡənlˌoːɡɪʃə tˌaʊtoːloːɡˈiːən ˈalɜdˌɪŋs nˈɔx nˈɪçt fyːɾ das ˈaʊszˌɑːɡənlˌoːɡɪʃə ʃlˈiːsən ʃˈuːf dʒˈɔːɾtʃ bˈoːlə ˈaɪn tˈaʊzənt ˈaxthˈʊndɜt zˈiːbən ʊntfˈɪɾtsɪç mɪt zˌaɪnəm ˈalɡɛbɾˌɑːɪʃən lˈoːɡɪkˌalkyːl.