Book 2 Unit 2 Flashcards
(5 cards)
0
Q
Rule of inference
A
A valid argument form which can be used to justify steps in a proof.
1
Q
Formal proof of validity
A
A step by step deduction of a conclusion from a set of premises, each step being justified by and appropriate basic rule.
2
Q
The rules of replacement are…
A
Forms of equivalent statements
3
Q
The conditional proof
A
A special rule in a formal proof which allows us to assume the antecedent of a conditional and, once we deduce the consequent, to conclude the entire conditional.
4
Q
Reductio ad absurdum
A
A special rule which allows us to assume the negation of a proposition, deduce a self-contradiction, then conclude the proposition.
