Identify the rule of replacement used:
[(B v C) v D] ≡ [B v (C v D)]
What is Association
This rule combines two
propositions with a
conjunction
What is Conjunction
This rule of inference has the following conclusion:
∴qvs
What is Constructive Dilemma
This rule says that the negation of a negation of a proposition is equivalent to that proposition.
What is Double Negation
This is a step-by-step deduction of a conclusion from its premises
What is a formal proof of validity
Identify the rule of replacement used:
(F ⊃ G) ≡ (~G ⊃ ~F)
What is Transposition
p⊃q
q⊃r
∴p⊃r
What is Hypothetical Syllogism
This rule of inference has the following conclusion:
∴ p ⊃ (p • q)
What is Absorption
This rule basically allows us to move parentheses around whenever the logical operators are either both disjunction or conjunction.
What is Association
[(p v q) v r] ≡ [p v (q v r)]
[(p • q) • r] ≡ [p • (q • r)]
This is what Q.E.D. means in English
What is "what was to be demonstrated"
Give the justification for each step in this proof
1) P v Q
2) ~P
3) Q ⊃ R / ∴R
4) Q
5) R
What is
4) 1, 2 DS
5) 3, 4 MP
This rule introduces a variable "out of thin air."
What is Addition
p
∴pvq
This rule of inference has the following conclusion:
∴ ~p
What is Modus Tollens
This rule allows us to switch between the conditional and the disjunction when necessary.
(p ⊃ q) ≡ (~p v q)
What is Material Implication
These say that certain propositions are equivalent to other propositions and may replace them wherever they occur
What are the rules of replacement
1) ~A • B
2) C ⊃ A
3) C v D / ∴ D
4) ~A
5) ~C
6) D
What is
4) 1 Simp
5) 2, 4 MT
6) 3, 5 DS
p⊃q
p
∴q
What is Modus Ponens
When working out a proof, start by comparing the conclusion with this
What is premises
This rule is named after an English logician who lived from 1806-1871
What is De Morgan's Theorems
A valid argument form which can be used to justify steps in a proof
What is a rule of inference
Construct a formal proof in the number of steps given:
1) A • B / ∴ A v B
2)
3)
What is
2) A1 Simp
3) A v B2 Add
This rule always removes the second conjunct in the conjunction.
What is Simplification
p•q
∴p
Always conclude a proof with Q.E.D, which is Latin for __________
____________
___________
quod erat demonstrandum
[p • (q v r)] ≡ [(p • q) v (p • r)]
[(p v (q • r)] ≡ [(p v q) • (p v r)]
What is Distribution
This is the major difference between rules of inference and rules of replacement
What is "the rules of replacement, unlike the rules of inference, allow equivalent propositions to replace each other wherever they occur, even if it is the middle of a larger proposition"