В логіці

Логіка першого порядку, також відома як числення предикатів першого порядку і логіка предикатів, являє собою набір формальних систем, що використовуються у математиці, філософії, лінгвістики та інформатики. Логіка першого порядку використовує квантовані змінні над об’єктами і дозволяє використовувати речень, що містять змінні. Це відрізняє його від логіки висловлювань, яка не використовує квантори або відносини.

Логіка першого порядку

Подібні теорії, як правило, є частиною логіки першого порядку разом з певною областю дискурсу, за якої варіюються квантифицированные змінні. Іноді теорія розуміється в більш формальному сенсі, а це всього лише набір пропозицій у логіці першого порядку.

Використовуються прикметники відрізняють логіки першого порядку від логіки вищих порядків, в якій є П, мають визначають предикати або функції в якості аргументів, або в яких можна один або обидва квантора предикатів або квантори функцій. В теоріях першого порядку предикати часто пов’язані з множинами. В інтерпретованих теоріях більш високого порядку їх можна інтерпретувати як множини. Щось схоже використовується і у визначенні предиката в програмуванні. Це не дивно, адже математика стала свого роду сировиною для цієї науки.