Which lines in the following are not valid? Explain why in each case. (1) 1. (x)[(Hx · Kx) Ɔ Mx] 2. (Ex)(Нx Кх) 3. Нх Кх P P 2 EI 4. Мx 1,3 MP 5. Gх)Mx 4 EG (2) 1. (x)(MxƆ Gx) Ɔ Fa 2. (x)(~ Gx Ɔ ~ Mx)...

Only answer questions 1, 3 and 5.

Which lines in the following are not valid? Explain why in each case.<br>(1) 1. (x)[(Hx · Kx) Ɔ Mx]<br>2. (Ex)(Нx Кх)<br>3. Нх Кх<br>P<br>P<br>2 EI<br>4. Мx<br>1,3 MP<br>5. Gх)Mx<br>4 EG<br>(2) 1. (x)(MxƆ Gx) Ɔ Fa<br>2. (x)(~ Gx Ɔ ~ Mx)<br>3. - Gy Ɔ ~ My<br>4. (x)(~ Gx Ɔ ~ Mx) Ɔ Fa<br>5. (~ Gx Ɔ ~ Mx) Ɔ Fa<br>P<br>2 UI<br>1 Contra<br>4 UI<br>3,5 MP<br>6 UG<br>6. Fa<br>7. (х)Fx<br>(3) 1. (3x)(Fx · ~ Mx)<br>2. (x)[(Gx v Hх) Э Мх]<br>3. (Gy V Hy) Э Му<br>4. Fy: ~ Мy<br>2 UI<br>1 ΕlΙ<br>

Extracted text: Which lines in the following are not valid? Explain why in each case. (1) 1. (x)[(Hx · Kx) Ɔ Mx] 2. (Ex)(Нx Кх) 3. Нх Кх P P 2 EI 4. Мx 1,3 MP 5. Gх)Mx 4 EG (2) 1. (x)(MxƆ Gx) Ɔ Fa 2. (x)(~ Gx Ɔ ~ Mx) 3. - Gy Ɔ ~ My 4. (x)(~ Gx Ɔ ~ Mx) Ɔ Fa 5. (~ Gx Ɔ ~ Mx) Ɔ Fa P 2 UI 1 Contra 4 UI 3,5 MP 6 UG 6. Fa 7. (х)Fx (3) 1. (3x)(Fx · ~ Mx) 2. (x)[(Gx v Hх) Э Мх] 3. (Gy V Hy) Э Му 4. Fy: ~ Мy 2 UI 1 ΕlΙ
(5) 1. (3x)[(Px · Qx) v Rx] 2. (x) ~ Rx 3. (Зx)(Рх v Rx) 4. Рx v Rx P P 1 Simp З ЕI 5. Px 2,4 DS 6. (x) 5 UG 6 UI 7 UG Px 7. ~ Py Ру 8. (z) ~ Pz

(5) 1. (3x)[(Px · Qx) v Rx]<br>2. (x) ~ Rx<br>3. (Зx)(Рх v Rx)<br>4. Рx v Rx<br>P<br>P<br>1 Simp<br>З ЕI<br>5.<br>Px<br>2,4 DS<br>6. (x)<br>5 UG<br>6 UI<br>7 UG<br>Px<br>7. ~ Py<br>Ру<br>8. (z) ~ Pz<br>

Extracted text: (5) 1. (3x)[(Px · Qx) v Rx] 2. (x) ~ Rx 3. (Зx)(Рх v Rx) 4. Рx v Rx P P 1 Simp З ЕI 5. Px 2,4 DS 6. (x) 5 UG 6 UI 7 UG Px 7. ~ Py Ру 8. (z) ~ Pz

Jun 04, 2022

SOLUTION.PDF

Which lines in the following are not valid? Explain why in each case. (1) 1. (x)[(Hx · Kx) Ɔ Mx] 2. (Ex)(Нx Кх) 3. Нх Кх P P 2 EI 4. Мx 1,3 MP 5. Gх)Mx 4 EG (2) 1. (x)(MxƆ Gx) Ɔ Fa 2. (x)(~ Gx Ɔ ~ Mx)...

Get Answer To This Question

Related Questions & Answers

Submit New Assignment