Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people, just like you, are talking about what matters.

  • Help others & share knowledge
  • Earn cash & points
  • Learn & ask questions
Solved

Natural Deduction Proof

Posted on 2010-11-14
2
910 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

Free Tool: Subnet Calculator

The subnet calculator helps you design networks by taking an IP address and network mask and returning information such as network, broadcast address, and host range.

One of a set of tools we're offering as a way of saying thank you for being a part of the community.

Question has a verified solution.

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

Suggested Solutions

Title # Comments Views Activity
Where is the math error. 13 74
scoresAverage challenge 8 116
Word Problem 6 65
Calculating Percentile Value inside Excel. 2 83
Before You Read The Article Please make sure you understand these two concepts: Variable Scope (http://www.php.net/manual/en/language.variables.scope.php) and Property Visibility (http://www.php.net/manual/en/language.oop5.visibility.php).  And to …
Have you ever thought of installing a power system that generates solar electricity to power your house? Some may say yes, while others may tell me no. But have you noticed that people around you are now considering installing such systems in their …
Finds all prime numbers in a range requested and places them in a public primes() array. I've demostrated a template size of 30 (2 * 3 * 5) but larger templates can be built such 210  (2 * 3 * 5 * 7) or 2310  (2 * 3 * 5 * 7 * 11). The larger templa…
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…

839 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