The noun propositional calculus can be countable or uncountable.
The singular form of propositional calculus is also propositional calculus.
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.