Formal Rigidity

• f is rigid (+R): _x f(x) _  f(x)

  • e.g. Person, Apple

• f is non-rigid (-R): _x f(x) _ ¨  f(x)

  • e.g. Red, Male

• f is anti-rigid (~R): _x f(x) _ ¨  f(x)

  • e.g. Student, Agent

Previous slide

Next slide

Back to first slide

View graphic version