Логика первого порядка: различия между версиями

{{Falseredirect|Исчисление предикатов}}

 

Помимо логики первого порядка существуют также [[Логика высшего порядка|логики высших порядков]], в которых кванторы могут применяться не только к переменным, но и к множествам. Термины '''логика предикатов''' и '''исчисление предикатов''' могут означать как логику первого порядка, так и логики первого и высшего порядка вместе; в первом случае иногда говорится о '''чистой логике предикатов''' или '''чистом исчислении предикатов'''.