The need for a richer language In P, it is not possible to express assertions about elements of a structure First Order logic is a considerably richer logic than propositional logic, but yet enjoys many nice mathematical properties Logic in Computer Science - p 3/23The need for a richer language • In P, it is not possible to express assertions about elements of a structure. • First Order Logic is a considerably richer logic than propositional logic, but yet enjoys many nice mathematical properties. Logic in Computer Science – p.3/23