propositional calculus Definition for propositional calculus is being prepared and will be available soon.