Introductory Logic |
Quiz #10
|
December 2, 2005
|
|
||
Name______________________ |
R. Hammack
|
Score _________
|
1. (x)(Ax ⊃ Bx) | |
2. (x)(Bx ⊃ Cx) | / (x)(Ax ⊃ Cx) |
1. (∃x)~Bx ⊃ (x)(Cx ⊃ Dx) | |
2. ~(x)(Bx ∨ Dx) | / ~(x)Cx |