structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / a. Symbols of PC

[meanings of the symbols used in predicate logic]

4 ideas
Write '(∀x)(...)' to mean 'take any x: then...', and '(∃x)(...)' to mean 'there is an x such that....' [Lemmon]
'Gm' says m has property G, and 'Pmn' says m has relation P to n [Lemmon]
The 'symbols' are bracket, connective, term, variable, predicate letter, reverse-E [Lemmon]
'⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '(Px & Qx)' [Putnam]