Logical connectives and quantifiers:

/\ conjunction \/ disjunction

=> implication <=> equivalence

~ negation

A for all E there exists

Predicates:

Triangle(x) x is a triangle Square(x) x is a square Pentagon(x) x is a pentagon Small(x) x is small Medium(x) x is medium Large(x) x is large

Smaller(x,y) x is smaller than y SameSize(x,y) x and y have the same size SameCol(x,y) x and y are in the same column SameRow(x,y) x and y are in the same row LeftOf(x,y) the column of x is on the left of the column of y Between(x,y,z) x is between y and z on a row, column or diagonal

Equality:

x = y	x is equal to y
x <> y	x is different from y

Variables: lowercase letters [a-z]

syntax | examples | info | home

Last modified: 28-Aug-2009 / staerk@inf.ethz.ch