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.
- 瀏覽次數:1902