Solved

Natural Deduction Proof

Posted on 2010-11-14
2
913 Views
Last Modified: 2012-05-10
Hey,
I have question about Natural Deduction Proof.
This is a homework question from logic class. I tried, but kept getting stuck
I could use bunch of rules such as
Quantifier rules, Universal Instantiation rule, Existential Generalization rule, Existential Instantiation rule, Universal Generalization rule.

The problem is,
((¿xP(x) v ¿yQ(y)) --> ¿z(P(z) v Q(z)))
If for all x, P(x) or for all x, Q(x), then for all z, either P(z) or Q(z).

I have to prove this, but its really confusing to me.
I was given an example

1. | \/x/\yF(x,y)                                pr
2. | /\yF(x2,y)                                  EI 1 x2
3. | F(x2,x1)                                    UI 2
4. | \/xF(x,x1)                                  EG 3
5. | /\y\/xF(x,y)                                UG 4 x1
6. (\/x/\yF(x,y) --> /\y\/xF(x,y)        cd

/\ = ¿

I kind of follow this one, but i can't apply it to other one.

Any kind of help is appreciated.

0
Comment
Question by:errang
2 Comments
 
LVL 12

Accepted Solution

by:
larsrohr earned 500 total points
ID: 34133251
Since this is homework, we wouldn't want to give too much away.  :-)

How would you go about starting this proof?  (First step or two)

Have you convinced yourself that the statement is true?  If so, can you briefly explain in words why it should be true?  This often helps in figuring out how your proof should go.

Do you have a Disjunction Elimination rule?
0
 

Author Closing Comment

by:errang
ID: 34166793
Thanks, found the solution.
0

Featured Post

Industry Leaders: We Want Your Opinion!

We value your feedback.

Take our survey and automatically be enter to win anyone of the following:
Yeti Cooler, Amazon eGift Card, and Movie eGift Card!

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

Introduction This article discusses the Chain of Responsibility pattern, explaining What it is;Why it is; andHow it is At the end of this article, I hope you will be able to describe the use and benefits of Chain of Responsibility.  Backgrou…
Dependencies in Software Design In software development, the idea of dependencies (http://en.wikipedia.org/wiki/Coupling_%28computer_programming%29) is an issue of some importance. This article seeks to explain what dependencies are and where they …
This is a video describing the growing solar energy use in Utah. This is a topic that greatly interests me and so I decided to produce a video about it.
Although Jacob Bernoulli (1654-1705) has been credited as the creator of "Binomial Distribution Table", Gottfried Leibniz (1646-1716) did his dissertation on the subject in 1666; Leibniz you may recall is the co-inventor of "Calculus" and beat Isaac…

756 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question