The alphabet of classical propositional logic, 𝐏𝐋, consists of (i) a countable set 𝒫 of propositional constants, (ii) the truth constants“⊤” (“truth”) and “⊥” (“falsehood”), (iii) the primitive logical connectives“¬” (“negation”) and “⊃” (“implication”),...