== Свойства предикатов ==
Если предикат '''A(x)''' определён на множестве, состоящем из конечного числа элементов '''x<sub>1</sub>, x<sub>2</sub>, …, x<sub>n</sub>''', то квантор общности можно трактовать как конъюнкцию всех возможных из него высказываний, а квантор существования – как дизъюнкцию этих высказываний.
Отсюда получаем эквиваленции:
[[файл:ЛП10.JPG]]
Отсюда, применяя отрицание, получаем эквиваленции:
[[файл:ЛП11.JPG]]