Суждение эквивалентности – это суждение, в котором утверждается взаимная обусловленность двух ситуаций. Суждения эквивалентности выражаются, как правило, посредством предложений с союзом «если и только если…, то…» («тогда и только тогда…, когда…»). Союз «если и только если…, то…», употребляемый в данном смысле, обозначается символом «».

Союз «если и только если…, то…» употребляется ещё в одном смысле. В этом случае он обозначается символом «», называемым знаком материальной эквивалентности. Суждение с этим союзом называется суждением материальной эквивалентности.

Таблица истинности материальной эквивалентности: