homework #6 solutions
homework #6 solutions
homework #6 solutions
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Problem 3: Longer longer logical arguments.<br />
a. 1 ∀x(Ax→Bx) assumption<br />
2 ∀x(Bx→ Cx) assumption<br />
3 ∀xAx assumption<br />
4 A j → B j E∀/UI, 1<br />
5 B j → C j E∀/UI, 2<br />
6 A j E∀/UI, 3<br />
7 B j E→/MP, 4, 6<br />
8 C j E→/MP, 5, 7<br />
9 B j∧C j I∧, 7, 8<br />
10 ∀x(Bx∧Cx) I∀/UG, 9<br />
b. 1 ∀x(Ax→Bx) assumption<br />
2 Ag→Bg E∀/UI, 1<br />
3 Ah→Bh E∀/UI, 1<br />
4 Ag∧Ah assumption<br />
5 Ag E∧, 4<br />
6 Ah E∧, 4<br />
7 Bg E→/MP, 2, 5<br />
8 Bh E→/MP, 3, 6<br />
9 Bg∧Bh I∧, 7, 8<br />
10 (Ag∧Ah)→(Bg∧Bh) I→/CP<br />
11 ∀y ( (Ag∧Ay)→(Bg∧By) ) I∀/UG, 10<br />
12 ∀x∀y ( (Ax∧Ay)→(Bx∧By) ) I∀/UG, 11<br />
c. 1 ∃x(Px∨Qx) assumption<br />
2 Pa∨Qa assumption<br />
3 Pa assumption<br />
4 ∃yPy I∃/EG, 3<br />
5 Pa→∃yPy I→/CP<br />
6 Qa assumption<br />
7 ∃zQz I∃/EG, 6<br />
8 Qa→∃zQz I→/CP<br />
9 ∃yPy∨∃zQz CD, 2, 5, 8<br />
10 (Pa∨Qa)→(∃yPy∨∃zQz) I→/CP<br />
11 ∃yPy∨∃zQz E∃/EI, 1, 10<br />
d. 1 ¬∀z(¬Gz∨Gz) assumption<br />
2 ∃z¬(¬Gz∨Gz) QN, 1<br />
3 ¬(¬Gl∨Gl) assumption<br />
4 ¬¬Gl∧¬Gl DeM, 3<br />
5 ¬¬Gl E∧, 4<br />
6 ¬Gl E∧, 4<br />
7 ⊥ E¬, 5, 6<br />
8 ∀z(¬Gz∨Gz) EFSQ, 7<br />
9 ¬(¬Gl∨Gl)→∀z(¬Gz∨Gz) I→/CP<br />
10 ∀z(¬Gz∨Gz) E∃/EI, 2, 9<br />
11 ⊥ E¬, 1, 10<br />
12 ¬¬∀z(¬Gz∨Gz) I¬/RAA<br />
13 ∀z(¬Gz∨Gz) DN, 12