Quiz #4

Question 1

Natural deduction

Answer 1

Using inference rules to derive the conclusion of an argument from its premises

Question 2

Rules of inference

Answer 2

Valid argument forms: arrangements of statement variables and operators such that uniform substitution of statements in place of variables results in an argument

Question 3

Derivation

Answer 3

A numbered sequence of propositions, each of which is either a premise or is derived from preceding propositions by the application of a rule of inference- the last line of a complete derivation is the conclusion