Solved

True and False Worlds for Predicate Logic formulas

Posted on 2004-10-20
4
243 Views
Last Modified: 2010-04-17
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
Comment
Question by:D4Ly
  • 2
4 Comments
 
LVL 84

Expert Comment

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

Accepted Solution

by:
NetExpert earned 500 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

by:D4Ly
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

by:D4Ly
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

Free Tool: Site Down Detector

Helpful to verify reports of your own downtime, or to double check a downed website you are trying to access.

One of a set of tools we are providing to everyone 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
Export Table to CSV - Access to CSV - using python 18 172
C# code editing and collaboration 3 137
Java Loop 6 67
storing csv file in table variable in Python 2 28
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 …
With the power of JIRA, there's an unlimited number of ways you can customize it, use it and benefit from it. With that in mind, there's bound to be things that I wasn't able to cover in this course. With this summary we'll look at some places to go…

830 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