Die folgende Definition ist daher nur als Beispiel dafür zu verstehen, wie ein Kalkül für die klassische Aussagenlogik aussehen kann.
diː fˈɔlɡəndə dˌeːfiːniːtsjˈoːn ɪst dɑːhˈɛɾ nˈuːɾ als bˈaɪʃpiːl dɑːfˈyːɾ tsuː fɛɾʃtˈeːən, viː aɪn kˈalkyːl fyːɾ diː klˈasɪʃə ˈaʊszˌɑːɡənlˌoːɡɪk ˈaʊszˌeːən kˌan.