Logic Applet: Examples

  1. Blocks and sizes
  2. Comparing sizes
  3. The predicate LeftOf
  4. The predicate Between
  5. The predicates SameCol and SameRow
  6. Equality axioms

syntax | examples | info | home Last modified: 28-Aug-2009 / staerk@inf.ethz.ch