FOPL stands for First Order Predicate Logic, Predicate Logic provides

a) A language to express assertions about certain “World”

b) An inference system to deductive apparatus whereby we may draw conclusions from such assertion

c) A semantic based on set theory

** FOPL consists of**

a) A set of constant symbols

b) A set of variables

c) A set of predicate symbols

d) A set of function symbols

e) The logical connective

f) The Universal Quantifier and Existential Qualifier

g) A special binary relation of equality