Question
Asked Dec 2, 2019
104 views

Please solve with an explanation

7. Find all errors in the given proof of
(a)
(Ear)P(r) V Q(), (Ear') ~Q(x)
(Ia)~ P(x)
Here is the attempted proof
(ErP(x) V Q(r)]
2
Нур
Нур
1 ΕΙ
2 ΕΙ
1
(Er)Q(x)
P(c) V Q(e)
Q(c)
P(c)
(Ear)~P(x)
3
4
3, 4 DS
EG
6
help_outline

Image Transcriptionclose

7. Find all errors in the given proof of (a) (Ear)P(r) V Q(), (Ear') ~Q(x) (Ia)~ P(x) Here is the attempted proof (ErP(x) V Q(r)] 2 Нур Нур 1 ΕΙ 2 ΕΙ 1 (Er)Q(x) P(c) V Q(e) Q(c) P(c) (Ear)~P(x) 3 4 3, 4 DS EG 6

fullscreen
check_circle

Expert Answer

Step 1

Recall the follow...

help_outline

Image Transcriptionclose

Existential Instantiation: Er, P(x)->P(c) Universal Instantiation: Vr,P(x)-»P(a) for any a P(c)x,P(x) Universal Generalization: P(c)-> Vx, P(x) Existential Generalization: _ Disjunctive Syllogism: pvq,-pq

fullscreen

Want to see the full answer?

See Solution

Check out a sample Q&A here.

Want to see this answer and more?

Solutions are written by subject experts who are available 24/7. Questions are typically answered within 1 hour.*

See Solution
*Response times may vary by subject and question.
Tagged in

Math

Advanced Math

Related Advanced Math Q&A

Find answers to questions asked by student like you
Show more Q&A
add