How To Use Propositional calculus In A Sentence

• [α*] (A †’ [α] A)) from 1 using propositional calculus and distributivity of [α] over Propositional Dynamic Logic
  0 0
• Protothetic is an absolute propositional calculus in the sense that the principle of bivalence is its theorem. Lvov-Warsaw School
  0 0
• Despite only having three axiom schemata and a single inference rule, it is possible to prove any tautology in the simple Propositional Calculus, PC.
  0 0