CSC 2259 Chapter : 9 13csc2259Predicate

12 views3 pages
15 Mar 2019
School
Course
Professor

Document Summary

All the students in this class have visited mexico. All the students in this class have visited mexico->vxp(x): means for all x x: may be any person. A person who is in the class has visited mexico. >if a person is a student in the class, then that person has visited mexico. Predicate: i (x,y): x is the instructor of class y. T(x,z): x is the professor of student z. F3: birds that do not, live on honey are dull in color. F2: ->: x[q(x)^r(x)]-no bird exists that is large and lives on honey. My c2: large birds are dull in color vx[q(x)-> s(x)] F(x,y): student x and student y are friends. For every student x, x has a computer or there exists a student y, student y has a computer, x is friends with y, so: Every student has a computer or has a friend who has a computer. xvyvz((f(x,y)^f(x,z)^(y(not equal)z))-> f(y,z))

Get access

Grade+
$40 USD/m
Billed monthly
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
10 Verified Answers
Class+
$30 USD/m
Billed monthly
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
7 Verified Answers

Related Documents

Related Questions