In der klassischen Aussagenlogik wählt man die Schlussregeln so, dass sich mit ihrer Hilfe alle gültigen Argumente (und nur gültige Argumente) herleiten lassen;
ɪn dɛɾ klˈasɪʃən ˈaʊszˌɑːɡənlˌoːɡɪk vˈɛːlt man diː ʃlˈʊsreːɡəln zˈoː, das zɪç mɪt ˌiːrɜ hˈɪlfə ˈalə ɡˈyltɪɡən ˌaɾɡuːmˈɛntə ʊnt nˈuːɾ ɡˈyltɪɡə ˌaɾɡuːmˈɛntə hˈɛɾlaɪtən lˈasən;