Predicate logic is a series of formal logic systems with a defined logic alphabet. These formal systems are first order logic, second order logic, many order logic, and infinitive logic. Predicate logic is unique because of the symbols, alphabet and variables used to express relations between premises and conclusions. This is a pretty hardcore and complex logic, a beginner should probably gloss over this logic for now.

Helpful Links on Predicate Logic

• First Order Logic
• Second Order Logic
• Many Order Logic
• Infinitive Logic

< Back to Logic Page