While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification.
Ενώ η προτασιακή λογική ασχολείται με απλές δηλωτικές προτάσεις, η λογική πρώτου βαθμού καλύπτει επιπρόσθετα κατηγορήματα και ποσοτικοποιήσεις.