Solutions to Chapter 35 Properties of relations

A. Give examples of relations with the following properties:

  1. 1.
    ​

    Reflexive but not symmetric blank x is no older than blank y

  2. 2.
    ​

    Symmetric but not transitive blank x is within 1 km of blank y

  3. 3.
    ​

    Transitive, symmetric, but not reflexive blank x is a full (i.e., not half) sibling of blank y

B. Show that a relation can be both symmetric and anti-symmetric by giving an interpretation that makes both of the following sentences true:

∀x⁢∀y⁢(R⁡(x,y)→R⁡(y,x))
∀x⁢∀y⁢((R⁡(x,y)∧R⁡(y,x))→x=y)
domain:

0

R⁡(x,y):

⟨0, 0⟩