Solved

True and False Worlds for Predicate Logic formulas

Posted on 2004-10-20
Medium Priority
266 Views
NOTE: 'for all' and 'for some' will be denoted with A and E respectively. Also, 'implies' will be denoted as -->, 'OR' will be \/ and 'AND' will be /\.

a) Ax Ey Q(x,y)

b) Ex Ey (R(x) \/ V(y))

c) Ey Ax (T(x) --> R(x,y))

What are the worlds for which these predicate formulas are true and false?
0
Question by:D4Ly
[X]
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
• 2

LVL 84

Expert Comment

ID: 12364364
Is this homework?
What do you mean by words?
What are Q, R, V and T?
0

LVL 7

Accepted Solution

NetExpert earned 1500 total points
ID: 12365339
a). For any value of x, there are some values of y so that Q(x,y) is true.
b). There are some values of x and y so that R(x) is true or V(y) is true.
c). There are some values of y so that for any value of x, if T(x) is true then R(x,y) is true.

It's just the same, if you understand it you will able to read it. If you can't read it, you simply do not understand.
0

LVL 9

Author Comment

ID: 12365453
yes this is hw...though it doesn't matter. I figured it all out.

Thanks a lot though NetExpert...you're answers are leading to the sufficient one I need.
0

LVL 9

Author Comment

ID: 12365466
worLds, not words.

Worlds
- Requires to provide domains for all variables and interpretations for all predicates

ie.

Ax P(x)

World_1:
Domain for x {1,2,3} and an interpretation for P:
1 | T
2 | T
3 | T

so
Ax P(x) = T {if all x in the Domain, the interpretation of P is T, or else F}

ie2.

ExP(x)
World = {T if there is an x in the Domain so that P is T, or else F}
0

Featured Post

Question has a verified solution.

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

This is about my first experience with programming Arduino.
Although it can be difficult to imagine, someday your child will have a career of his or her own. He or she will likely start a family, buy a home and start having their own children. So, while being a kid is still extremely important, it’s also …
An introduction to basic programming syntax in Java by creating a simple program. Viewers can follow the tutorial as they create their first class in Java. Definitions and explanations about each element are given to help prepare viewers for future …
Six Sigma Control Plans
Suggested Courses
Course of the Month10 days, 15 hours left to enroll