The formal language of propositional logic

https://philphys.hypotheses.org/149