Not all strings can represent propositions of predicate
logic. Those that produce a proposition when their symbols are interpreted are
called well-formed formulas of the first order predicate logic. A predicate
name followed by a list of variables such as P(x, y), where P
is a predicate name, and x and y are variables, is called an atomic
formula. Wffs are constructed
using the following rules:
Examples: (all of these are wffs but only the last
three examples are sentences)
Between(b, x, y) -
block b is between x and y
ØLeftOf(x, c) -
it is not the case that x is to the left of c
"x Small(x) -
everyone is small.
Tet(b) -
b is a tetrahedron.
$x $y(Cube(x)
Ù Large(y)) -
There exists a cube and something large.