Ein Kalkül heißt genau dann korrekt (semantisch korrekt), wenn in ihm nur solche Formeln hergeleitet werden können, die auch semantisch gültig sind.
aɪn kˈalkyːl hˈaɪst ɡənˈaʊ dan kɔrˈɛkt zeːmˈantɪʃ kɔrˈɛkt, vˌɛn ɪn iːm nˈuːɾ zˈɔlçə fˈɔɾməln hˈɛɾɡəlˌaɪtət vˌɛɾdən kˈœnən, diː ˌaʊx zeːmˈantɪʃ ɡˈyltɪç zɪnt.