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

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

[general ideas about standard predicate logic]

2 ideas
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia]