Formalize the following sentences of natural language as formulas of predicate l

Question

Formalize the following sentences of natural language as formulas of predicate
logic (explain in words the meaning of atomic predicates):
(a) There is no such thing as negative integers.
(b) The names have been changed to protect the innocent.
(c) Logic plays an important role in all areas of computer science.
(d) The renter of a car pays the deductible in case of an accident.

Explanation / Answer

I'm using prefix notation for one-place predicates (e.g. "Zx" for "x has property Z") and infix notation for two-place predicates (e.g. "xAy" for "x and y have relation A"). You'll need to change this if your class does it differently. (a) -(Ex) (Zx ^ x < 0) where Zx means "x is an integer" x (Ey) (Iy ^ xCy)] where Nx means "x is a name" and Iy means "y is innocent" and xCy means "x was changed to protect y" (c) (Ax) (Cx => Lx) where Cx means "x is an area of computer science" and Lx means "logic plays an important role in x" (d) (Ax) (Ay) [(Cy ^ xRy ^ xAy) => Dx] Cy means "y is a car" xRy means "x rents y" xAy means "x gets in an accident with y" Dx means "x pays the deductible"

Related Questions

Navigate

• Browse (All)
• Browse F
• Subjects

---