Суждение с этим союзом называется суждением материальной эквивалентности.

Выражение языка логики предикатов называют формулами. Среди формул выделяют правильно построенные. (ППФ)

Определению правильно построенный формулы предшествуют определение терма:

индивидные константы и индивидные переменные являются термами;

ничто иное не является термом;

Определение ППФ:

пропозициональная переменная является ППФ;

если t1,…tk, - термы а Ак - к - местный предиктор, то Ак (t1,…tk) - ППФ

если А и В - ППФ, а ά - индивидная переменная, то ¬ А, (В ^ С), (В ^ С), (А ∩ В), (А ≡ В)