We do not currently know of any antonyms for propositional calculus.
The noun propositional calculus is defined as: