In der klassischen Aussagenlogik geschieht das meist mittels Wahrheitstabellen, weil es nur überschaubar wenige Möglichkeiten gibt.
ɪn dɛɾ klˈasɪʃən ˈaʊszˌɑːɡənlˌoːɡɪk ɡəʃˈiːt das mˈaɪst mˈɪtəls vˌɑːɾhaɪtstabˈɛlən, vˌaɪl ɛs nˈuːɾ ˌyːbɜʃˈaʊbɑːɾ vˈeːnɪɡə mˈœklɪçkˌaɪtən ɡˈiːpt.