module demo::lang::logic::\syntax::Booleans

rascal-0.40.17

Usage

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

Dependencies

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

syntax Formula

syntax Formula
  = \true :  "true"
  | \false: "false"
  | \not  : "!" Formula arg
  > left ( \and  : Formula lhs "&" Formula rhs
         | \or   : Formula lhs "|" Formula rhs
         )
  > non-assoc ( right \if   : Formula lhs "=\>" Formula rhs
              | left  \fi   : Formula lhs "\<=" Formula rhs
  )
  > non-assoc \iff  : Formula lhs "\<=\>" Formula rhs
  ;