Propositional Logic
recap
propositional “variable” (label): a stand-in for a factual statement which is either true or true.
Just called a proposition, for short.
propositional formula: can build up formula of propositions with logical connectives / operators.
E.g.,
p: “It is raining outside.”