Логика первого порядка
Материал из Википедии — свободной encyclopedia
Запрос «Исчисление предикатов»[[d:Q35148#sitelinks-wikipedia|[d]]] перенаправляется сюда. На эту тему нужно создать отдельную статью.
Логика первого порядка — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.
Помимо логики первого порядка существуют также логики высших порядков, в которых кванторы могут применяться не только к переменным, но и к предикатам. Термины логика предикатов и исчисление предикатов могут означать как логику первого порядка, так и логики первого и высшего порядка вместе; в первом случае иногда говорится о чистой логике предикатов или чистом исчислении предикатов.