В сжатом до неприличия виде: «логика первого порядка» – это формальный математический язык, использующий высказывания, называемые «предикатами», связанные логическими взаимосвязями (или операторами), такими как «и», «или», «если». Эта логика обеспечивает «истинные» или «ложные» дедуктивные результаты, комбинируя высказывания, определенные как «истинные» или «ложные».
