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
