Aus Sicht der formalen Algebra ist die Semantik für die klassische Aussagenlogik eine zweiwertige Boolesche Algebra.
ˌaʊs zˈɪçt dɛɾ fˈɔɾmɑːlən alɡˈɛbɾɑː ɪst diː zeːmˈantiːk fyːɾ diː klˈasɪʃə ˈaʊszˌɑːɡənlˌoːɡɪk ˌaɪnə tsvˈaɪvɛɾtˌɪɡə bˈoːlɛʃə alɡˈɛbɾɑː.