Изменения

* квантор всеобщностиобщности;

'''Квантором всеобщностиобщности''' называется операция, по которой предикату '''A(x)''' ставится в соответствие высказывание, обозначаемое [[файл:ЛП01.JPG]], которое '''истинно''' тогда и только тогда, когда предикат '''A(x)''' тождественно '''истинен'''.

Если предикат '''A(x)''' определён на множестве, состоящем из конечного числа элементов '''x₁, x₂, …, x_n''', то квантор всеобщности общности можно трактовать как конъюнкцию всех возможных из него высказываний, а квантор существования – как дизъюнкцию этих высказываний.