PHILOSOPHY LOGIC: Question is highlighted in yellow. ereader.chegg.com Sylabus f

Question

PHILOSOPHY LOGIC: Question is highlighted in yellow.

ereader.chegg.com Sylabus for (IFS3130-0001 1a17) Making tha A Chegg: The Logic Book Chega l Guided Solutions and Study e. (Pt & Et) & (Vx) [(Px & Ex) x = t] *f. ~ (3x) (By) I(Px & Py) & Pf(x,y)] 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 c. Axy: x admires y *b. Mxy: x is married to y *d. Nxy: x is north of y e. Rxy: x is a relative of y *f. S g. Txy: x is at least as tall as y xy: x is the same size as y *h. Cxy: x coauthors a book with 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

Explanation / Answer

ok here only 1 is highlighted

hence b is solved here

given M(x,y) = x is married to y

=> M(x,x) = x is married to x ( this is wrong)

=> not reflexive

M(x,y) => x is married to y => y is married to x is also true => M(y,x)

hence this is symmetric

m(x,y) => x is married to y   

m(y,z) => y is married to z

we cannot say x is married to z

hence not transitive

therefore it is only symmetric

Related Questions

Navigate

• Browse (All)
• Browse P
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.