## Notes Information

Login / Sign Up to View Document

## Sample Document Text

Predicate Calculus
. Subject / Predicate
John / went to the store.
The sky / is blue.
. Propositional Logic - uses statements
. Predicate Calculus - uses predicates
- predicates must be applied to a subject in order
to be true or false
. P(x)
- means this predicate represented by P
- applied to the object represented by x
Quantification
. ?x There exists an x
. ?x For all x's
----------------------
Usually specified from a domain
. ?x ? Z There exists an x in the integers
. ?x ? R For all x's in the reals
. Domain - set where these subjects come from
Translation
. A student of mine is wearing a blue shirt.
- Domain: people who are my students S
- Quantification: There is at least one
- Predicate: wearing a blue shirt
?x ? S such that B(x)
where B(x) represents "wearing a blue shirt"
. All of my students are in class.
- Domain: people who are my students S
- Quantification: All of them
- Predicate: are in class
?x ? S such that C(x)
where C(x) represents "...

## Related Documents

Combinations Notes

Combination Notes

Either...or Exam

Either...or Exam

Best Wishes Notes

Computer Representation Exam

Particularly Notes

Either...or Quiz

Either...or Exam

Modus Ponens Quiz

Contrapositive Exam

Either...or Exam

Contrapositive Exam

Contrapositive Notes

Immediately Exam

Moral Argument Notes

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.