Documentation
CtrlK
  • Introduction
  • Why Ampersand?
  • Tutorial
  • Reactive programming
  • The language Ampersand
    • How to read syntax statements
    • Truth
    • Atoms
    • The CONCEPT statement
    • The RELATION statement
    • The MEANING statement
    • The PURPOSE statement
    • The CLASSIFY statement
    • The RULE statement
    • Terms
      • Semantics
      • Semantics in logic
        • Primitive terms
        • Boolean operators
        • Relational operators
        • Residual operators
      • Semantics in natural language
      • Semantics in sets
      • Semantics of terms, defined algebraically
      • Semantics visualized
    • Context
    • Module
    • Best Practices
    • Syntactical Conventions
    • The INCLUDE statement
    • Patterns
    • Services
    • Population
    • The ENFORCE statement
    • The IDENT statement
    • The TABLE statement
    • Language support
    • Current date
    • The Preprocessor
    • Design considerations
  • Running the Ampersand compiler
  • Architecture of an Ampersand Application
  • Deploying your Ampersand script
  • Reusing Available Modules
  • Exercises
  • Installing Ampersand
  • Modeling
  • Configuring your application
  • The Excel Importer
  • Plans
  • Research
Powered by GitBook
On this page
  1. The language Ampersand
  2. Terms

Semantics in logic

Primitive termsBoolean operatorsRelational operatorsResidual operators
PreviousSemanticsNextPrimitive terms

Last updated 7 years ago