Documentation
search
Ctrlk
  • Introduction
  • Why Ampersand?chevron-right
  • Tutorialchevron-right
  • Reactive programming
  • The language Ampersandchevron-right
    • 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
    • Termschevron-right
      • Semantics
      • Semantics in logicchevron-right
        • Primitive terms
        • Boolean operators
        • Relational operators
        • Residual operators
      • Semantics in natural languagechevron-right
      • Semantics in setschevron-right
      • Semantics of terms, defined algebraicallychevron-right
      • Semantics visualizedchevron-right
    • Context
    • Module
    • Best Practices
    • Syntactical Conventionschevron-right
    • The INCLUDE statement
    • Patterns
    • Serviceschevron-right
    • Populationchevron-right
    • The ENFORCE statement
    • The IDENT statement
    • The TABLE statement
    • Language support
    • Current date
    • The Preprocessor
    • Design considerations
  • Running the Ampersand compilerchevron-right
  • Architecture of an Ampersand Applicationchevron-right
  • Deploying your Ampersand scriptchevron-right
  • Reusing Available Moduleschevron-right
  • Exerciseschevron-right
  • Installing Ampersandchevron-right
  • Modelingchevron-right
  • Configuring your application
  • The Excel Importer
  • Planschevron-right
  • Research
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. The language Ampersandchevron-right
  2. Terms

Semantics in logic

Primitive termschevron-rightBoolean operatorschevron-rightRelational operatorschevron-rightResidual operatorschevron-right
PreviousSemanticschevron-leftNextPrimitive termschevron-right

Last updated 7 years ago