Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://firstname.lastname@example.org
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.
- 1240 reads