Show:
Rules Of Inference (1)
Rules of Inference (2)
De Morgan's laws
Proofs
Sets
100
pVq ¬p ∴ q
What is Disjunctive Syllogism?
100
p→ q ¬q ∴¬p
What is Modus Tollens?
100
∀x∃y ¬P(x)
What is ¬∃x∀y P(x) ?
100
If we are proving p→ q, then we will assume ¬q^ p
What is Proof By Contradiction?
100
A = {2,4,6,8} B = {4,8,12,16} C = {2,4,6,8,12,16}
What is AUB?
200
P ∴pVq
What is Addition?
200
p→ q q→ r ∴ p→ r
What is Hypothetical Syllogism?
200
¬q = n is odd
What is the negation of q when q = n is even?
200
To prove p→ q, we can prove ¬
What is proof by Contrapositive?
200
A = {2,4,6,8} B = {4,8,12,16} D = {4,8}
What is A∩B?
300
p q ∴ p^q
What is Conjunction?
300
p→q p ∴ q
What is Modus Ponens?
300
∃x(x≠7)
What is ¬∀x (x=7)?
300
∀x(x > 5)
What is Proof By Counter Example?
300
A = {2,4,6,8} B = {4,8,12,16} E = 4
What is |A|?
400
p^q ∴p
What is Simplification?
400
Prove Using ROI: p^q ∴pVq
p^q ∴p ------By simplification p ∴pVq-------By Addition
400
∀x(x≤10)
What is ¬∃x(x>10)
400
∃x(x+1 > 2)
What is Existence Proof, or Proving by finding an example?
400
D = {4,8} F = 2^2=4
What is |P(D)|?
500
Prove using ROI a→b b→c c→d ∴a→d
a→b b→c ∴a→c-----By HS a→c c→d ∴a→d------By HS
500
Prove using ROI: p^q p→r r→s ∴s
p^q ∴p----Simplification p→r r→s ∴p→s-----HS p→s p ∴s-------Modus Ponens
500
∃
What is ¬∀
500
D = {4,8} X = {{},{4},{8},{4,8}}
What is |P(D)|?