arrow-left

All pages
gitbookPowered by GitBook
1 of 1

Loading...

Semantics

Semantics tell us about meaning. About how to interpret terms and their operators.

We present the semantics of terms in 5 different (but equivalent) ways: one explanation in terms of logic, one in set theory, one in terms of axioms (algebraically), one in natural language, and one visual explanation. These ways are equivalent, so you can interpret a term in any of the presented ways. Any way will do; take your pick!

Category

Logic

Sets

Axioms

Natural Language

Visual

primitive terms

(the pages without hyperlinks are yet to be made).

axioms

visual

boolean

relational

residual

sets

axioms

products

logic

sets

axioms

natural language

visual

logic
sets
natural language
logic
sets
axioms
natural language
visual
logic
sets
axioms
natural language
visual
logic
natural language
visual