Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20

When using relations in logic formulas, there are two things going on:

- relations themselves, as mathematical entities, and
- formulas involving symbols, which must be interpreted as specifc relations.

First things first: we'll just discuss relations for now, and later tackle using relations in logic formulas.

We'll start with a couple of equivalent ways of defining relations, and then discuss a common subclass of relations: binary relations.

- 810 reads