Validity through Predicate Logic

Beyond translating logical arguments to predicate logic syntax, the major objective of logic is to validate those arguments. This lesson covers the last step of employing predicate logic.

Building predicate logic on propositional logic

We know by now how predicate logic evolved out of categorical syllogism and propositional logic by taking into its folds the best of the previous two theories of logic. This evolution is represented in the illustration below.