The syntax of the propositional logic
|
The constituents of language At the base of the syntax of the calculus of propositions are the propositional variables or atomic propositions, denoted by p, q, etc., which generally constitute a countable infinite set. The second basic constituents of the … Read More