Пусть на множестве 
определён предикат 
.
Выражение
истинно тогда и только тогда, когда …
определён предикат . Выражение
истинно тогда и только тогда, когда …• 
имеет хотя бы одно ложное значение на множестве 
имеет хотя бы одно ложное значение на множестве • 
имеет хотя бы одно истинное значение на множестве 
имеет хотя бы одно истинное значение на множестве • 
является тождественно истинным предикатом
является тождественно истинным предикатом• 
является тождественно истинным предикатом
является тождественно истинным предикатом