Which lines in the following are not valid? Explain why in each case. (1) 1. (x)[(Нх Кx) — Мх] 2. (Еx)(Нx Кх) 3. Нх Кх P P 2 EI 4. Мx 1,3 MP 5. Gх)Mx 4 EG

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question

Only answer questions 1, 3 and 5.

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Ι
Transcribed Image 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
Transcribed Image 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
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,