Branch of logic that studies the ways of joining entire propositions, statements or sentences to form more complicated propositions, statements or sentences.
The simplest statements are indivisible units and hence propositional logic does not study these logical properties and relations that depends on these statements.
Symbolized reasoning in which each sentence or statement is broken into a subject and a predictate. The predicate modifies or defines the properties of the subject. In FOL, a predicate only refers to a single subject. FOL is known as first order predicte calculus.
There exist quantifiers to help define first order logic statements, as well as operators.