• Support PF! Buy your school textbooks, materials and every day products Here!

Symbolic logic derivation, please help!

  • Thread starter nietzsche
  • Start date
  • #1
186
0
Hi PF.

This is a homework question, but it's for symbolic logic. Figured that it didn't really make sense to post it with the math and science questions, although I'm sure people on there would know how to solve it.

I'm having trouble constructing a derivation for the following:

For all x, (Bx -> Ex).
There exists some y such that (Ay -> ~Ey).
Therefore, there exists some z such that (Az ^ ~Bz).

(Don't know how to do the symbols...)

I changed the second premise into (~Aa v ~Ea), but I don't know what to do with that. I can see that if I have Aa to begin with, then Aa -> ~Ea -> ~Bx.

But what if I have ~Ea to begin with? That's what I'm having trouble with.

Or maybe I'm looking at it the wrong way?

Hope someone on here can help me. Thanks in advance.
 

Answers and Replies

  • #2
berkeman
Mentor
57,322
7,314
I don't think the Philosophy forum is right for this either, so I moved it to Calculus & Beyond. Hopefully somebody here can help. If you can post more info, that will help us all.
 
  • #3
Redbelly98
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
12,100
129
Note to all:
C -> D means "if C, then D" or "C implies D"
~ means "not", i.e. logical negation
v means "or"
^ means "and"

I can see that if I have Aa to begin with, then Aa -> ~Ea -> ~Bx.
Okay, so Aa → ~Bx. Maybe you can do something with that, but I don't see how we can get to the required (Aa ^ ~Ba) from there.

Perhaps you should make a truth table, to at least convince yourself that (Aa ^ ~Ba) is true and not an error in the book.
 
  • #4
866
0
You can click the far right button on the format bar when you are typing in a message to get the latex reference. [tex]\exists[/tex] (\exists), [tex]\forall[/tex] (\forall), etc, are all in there under logic.

If you have ~Ea to begin with, then from your first premise you can get to ~Ba, which you are looking for in your conclusion. Does that help any? I'm not sure what else you were thinking here. I'm sure the assignment was due by now anyways though :tongue:.

BTW I just found this on the philosophy forum. Symbolic logic is required for majors :smile:.
 
  • #5
402
1
The argument, as it is, is not correct: from two conditionals, you cannot infer Aa (so you cannot infer its conjunction with anything else).
 
  • #6
Redbelly98
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
12,100
129
Moderator's note:

We are here to provide help so that the OP, nietzsche, can solve the problem. We are not here to provide the actual solution.

Lacking further input from the OP, I urge people to refrain from providing more help at this point.
 

Related Threads on Symbolic logic derivation, please help!

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
7
Views
6K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
1
Views
1K
Replies
3
Views
3K
Replies
1
Views
2K
Replies
11
Views
1K
Replies
0
Views
2K
Replies
1
Views
2K
Top