module demo::lang::logic::\syntax::Truth

rascal-0.34.0

Usage

import demo::lang::logic::\syntax::Truth;

Dependencies

extend lang::std::Whitespace;
extend lang::std::Layout;
extend lang::std::Comment;

syntax True

syntax True 
  = "true"
  | bracket "(" True ")"
  | "not" False f
  > left True lt "and" True rt
  > left ( True lt "or" True rt
         | False lf "or" True rt
         | True lt "or" False rf
         )
  ;

syntax False

syntax False 
  = "false"
  | bracket "(" False ")"
  | "not" True t
  > left ( False lf "and" False rf
         | True  lt "and" False rf
         | False lf "and" True  rt
         )
  > False lf "or" False  rf
  ;