Solved

True and False Worlds for Predicate Logic formulas

Posted on 2004-10-20
4
212 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
Comment Utility
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
Comment Utility
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
Comment Utility
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
Comment Utility
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 Trending Threat Insights Every Day

Enhance your security with threat intelligence from the web. Get trending threat insights on hackers, exploits, and suspicious IP addresses delivered to your inbox with our free Cyber Daily.

Join & Write a Comment

Suggested Solutions

Here we come across an interesting topic of coding guidelines while designing automation test scripts. The scope of this article will not be limited to QTP but to an overall extent of using VB Scripting for automation projects. Introduction Now…
This is an explanation of a simple data model to help parse a JSON feed
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 …
In this fifth video of the Xpdf series, we discuss and demonstrate the PDFdetach utility, which is able to list and, more importantly, extract attachments that are embedded in PDF files. It does this via a command line interface, making it suitable …

772 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

Need Help in Real-Time?

Connect with top rated Experts

13 Experts available now in Live!

Get 1:1 Help Now