Was heißt »Aus­sa­gen­lo­gik« auf Englisch?

Das Substantiv »Aus­sa­gen­lo­gik« lässt sich wie folgt von Deutsch auf Englisch übersetzen:

• propositional logic
• propositional calculus