Slide 1 Propositional Calculus A propositional calculus formula is composed of atomic propositions, which area simply statements that are either true or false. Ex. “It…