* المنطق الأولى يسمح أيضا باستخدام الكلمات الدالة على الكمية والخبر، ويمكنه التعبير عن حقائق الأشياء، وخواصهم، وعلاقاتهم مع بعضهم البعض.
First-order logic also allows the use of quantifiers and predicates, and can express facts about objects, their properties, and their relations with each other.