1 / 13

Today’s Topics

Today’s Topics. Expansions of relational predicates. Truth Functional Expansions of Formulas Using Relational Predicates. A truth functional expansion of a formula using relational predicates works just like a truth functional expansion of a formula using only monadic predicates.

devin
Download Presentation

Today’s Topics

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Today’s Topics Expansions of relational predicates

  2. Truth Functional Expansions of Formulas Using Relational Predicates • A truth functional expansion of a formula using relational predicates works just like a truth functional expansion of a formula using only monadic predicates.

  3. Consider the 2 element universe {a,b} • The truth functional expansion of • ( x)( y)Lxy is: • [Laa v Lab]  [Lba v Lbb] • The truth functional expansion of • ( x)( y)Lxy is: • [Laa  Lab] v [Lba  Lbb]

  4. Interpretations of Universes with Relational Predicates • Providing an interpretation of a universe using relational predicates is a bit more difficult than with monadic predicates. • We can provide an exhaustive list of all of the ordered sets of elements in the universe R • ab • ac • bc

  5. Alternatively, we can use a graphic representation of the extension of a predicate. • In the following diagrams, the circle represents the universe. • The numbers in the circles are the elements in the universe. • An arrow running from one number to another, 1 2, means that 1 bears the relation in question to 2, but not that 2 bears the relation to 1 unless there is another arrow, 2 1

  6. Is the formula true or false in the universe as interpreted? I

  7. It is FALSE. There is no single object which bears the B relationship to everything in the universe. 8 comes close, but 8 does not bear B to itself, so 8 fails to bear B to everything. • A small change in the diagram, however, makes the formula true in the universe.

  8. This formula is true in the universe as interpreted,

  9. Is the formula true or false in the universe as interpreted? II

  10. Is the formula true or false in the universe as interpreted? III

  11. Is the formula true or false in the universe as interpreted? IV

  12. Is the formula true or false in the universe as interpreted? V

  13. The formula in universe II is TRUE—every object in the universe bears B to some object or other. • The formula in universe III is TRUE—everything in the universe bears B to some identifiable thing (2) including 2. • The formula in universe IV is FALSE • The formula in universe V is TRUE.

More Related