### Possible Answer

Propositional calculus (also called propositional logic, sentential calculus, or sentential logic) is the branch of mathematical logic concerned with the study of ... - read more

Logic and proof. Introduction to Logic A set of online tutorials for the study of elementary logic covering propositional and predicate calculus. - read more

Please vote if the answer you were given helped you or not, thats the best way to improve our algorithm. You can also submit an answer or search documents about predicate logic proof calculator.