3 Mar 2004
CS 3243 - Chapter 8
5
Syntax of FOL: Basic elements
nConstants KingJohn, 2, NUS,...
nPredicates Brother, >,...
nFunctions Sqrt, LeftLegOf,...
nVariables x, y, a, b,...
nConnectives Ø, Þ, Ù,
Ú, Û
nEquality =
nQuantifiers ", $