Für die klassische Aussagenlogik, mit der wir es hier zu tun haben, gibt es Kalküle (formale Systeme), die sowohl korrekt als auch vollständig sind.
fyːɾ diː klˈasɪʃə ˈaʊszˌɑːɡənlˌoːɡɪk, mɪt dɛɾ viːɾ ɛs hˈiːɾ tsuː tˈuːn hˈɑːbən, ɡˈiːpt ɛs kˈalkyːlə fˈɔɾmɑːlə zystˈeːmə, diː zoːvˈoːl kɔrˈɛkt als ˌaʊx fˈɔlʃtˌɛndɪç zɪnt.