bars
Documentation
search
circle-xmark
Ctrl
k
copy
Copy
chevron-down
The language Ampersand
chevron-right
Terms
Semantics in logic
Primitive terms
chevron-right
Boolean operators
chevron-right
Relational operators
chevron-right
Residual operators
chevron-right
Previous
Semantics
chevron-left
Next
Primitive terms
chevron-right
Last updated
7 years ago