Go Premium for a chance to win a PS4. Enter to Win

x
?
Solved

Natural Deduction Proof

Posted on 2010-11-14
2
Medium Priority
?
930 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 2000 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

Independent Software Vendors: 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 explores the design of a cache system that can improve the performance of a web site or web application.  The assumption is that the web site has many more “read” operations than “write” operations (this is commonly the ca…
Exception Handling is in the core of any application that is able to dignify its name. In this article, I'll guide you through the process of writing a DRY (Don't Repeat Yourself) Exception Handling mechanism, using Aspect Oriented Programming.
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…
I've attached the XLSM Excel spreadsheet I used in the video and also text files containing the macros used below. https://filedb.experts-exchange.com/incoming/2017/03_w12/1151775/Permutations.txt https://filedb.experts-exchange.com/incoming/201…

926 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