Predicate Logic 4: Natural Deduction

This is part 4. You should see part 1, part 2, and part 3 before reading this. This is also written with the assumption that you already know propositional logic.

Natural deduction is the use of rules of inference and assumptions in order to reach a conclusion, and they are used to prove argument forms to be logically valid. The entire reasoning process is made entirely explicit, and is known as a ‘proof’ or ‘derivation.’ I will assume here that you already know how to use natural deduction in propositional logic, and natural deduction in predicate logic is done in the same way as in propositional logic, except some additional rules of inference are needed.

Predicate Logic 3: Interpretation

This is part 3. You should see part 1 and part 2 before reading this. This is also written with the assumption that you already know propositional logic.

Interpretation is the conversion of a sentence in a formal language of a logical system into a natural language, which is primary done by providing a scheme of abbreviation for a symbolic sentence. The purpose of translation is generally to prove a sentence to be indeterminate, an argument to be invalid, a set of sentences to be logically consistent, or a set of sentences to be non-equivalent.