Равнозначност
Често пъти, за да изкажем едновременно валидността
и на импликацията
и
на импликацията 
,
си служим с изречения, имащи конструкцията: “p
тогава и само тогава, когато, когато q”.
Такова съждение се нарича равнозначност. Типични примери в
това отношение са формулировките на редица твърдения и теореми от
математиката.
Примери:
1. Едно естествено число се дели на 5 тогава и само тогава, когато завършва на 0 или 5.
2. Диагоналите на един четериъгълник се разполовяват тогава и само тогава, когато четериъгълникът е успоредник.
Равнозначността на две съждения
p и
q
е съставно съждение, което се записва
символично с 
и
има верностна стойност истина, когато
p и
q имат имат
равни верностни стойности. В противен случай тя е със стойност
неистина.
Таблица с верностните стойности на равнозначност:
