SYMBOLIC LOGIC