PHILOSOPHY LOGIC: Question is highlighted in blue.
3. For a-p, decide whether the specified relation is reflexive, whether it is symmet- ric, and whether it is transitive (in suitably restricted universes of discourse). In each case give the sentences of PL that assert the appropriate properties of the relation in question. If the relation is reflexive, symmetric, or transitive only in a restricted universe of discourse, specify such a universe of discourse. a. Nxy: x is a neighbor of y *b. Mxy: x is married to y c. Axy: x admires y *d. Nxy: x is north of y e. Rxy: x is a relative of y *f. Sxy: x is the same size as y g. Txy: x is at least as tall as y *h. Cxy: x coauthors a book with y i. Exy: x enrolls in the same course as y *j. Fxy: x fights y k. Wxy: x weighs the same as y *1. Cxy: x contracts with y m. Axy: x is an ancestor of y *n. Cxy: x is a cousin of y o. Lxy: x and y have the same taste in food *p. Rxy: x respects y
PHILOSOPHY LOGIC: Question is highlighted in blue.
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
PHILOSOPHY LOGIC: Question is highlighted in blue.
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!