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

4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / b. Terminology of PC

[main technical terminology of predicate logic]

1 idea
13910 Our notation uses 'predicate-letters' (for 'properties'), 'variables', 'proper names', 'connectives' and 'quantifiers' [Lemmon]