Back to Semantic concepts

Exercise A

Avg difficulty 3.0

Given the following interpretation:

  • domain:

    people

  • W(x)W(x):

    ‾x\underline{\hskip 15.00002pt}_{x} is a woman (or girl)

  • M(x)M(x):

    ‾x\underline{\hskip 15.00002pt}_{x} is a man (or boy)

  • Y(x,y)Y(x,y):

    ‾x\underline{\hskip 15.00002pt}_{x} is younger than ‾y\underline{\hskip 15.00002pt}_{y}

  • O(x,y)O(x,y):

    ‾x\underline{\hskip 15.00002pt}_{x} is an offspring of ‾y\underline{\hskip 15.00002pt}_{y}

  • dd:

    Dana

  • aa:

    Alex

express the following relations:

  1. ‾x\underline{\hskip 15.00002pt}_{x} is older than ‾y\underline{\hskip 15.00002pt}_{y}

  2. ‾x\underline{\hskip 15.00002pt}_{x} is ‾y\underline{\hskip 15.00002pt}_{y}’s mother

  3. ‾x\underline{\hskip 15.00002pt}_{x} and ‾y\underline{\hskip 15.00002pt}_{y} are siblings (note that you can’t be your own sibling)

  4. ‾x\underline{\hskip 15.00002pt}_{x} is ‾y\underline{\hskip 15.00002pt}_{y}’s brother

Magnus et al., forall x: Calgary, Interpretations, Semantic concepts, Exercise A

AI Tutor

Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.