Еквівалентність

Еквівалентність , яку також називають еквівалентністю пропозицій , в логіці та математиці, формування пропозиції з двох інших, які пов’язані фразою „якщо і лише тоді”. Еквівалентність, сформована з двох тверджень p і q, також може бути визначена твердженням: „ p є необхідною та достатньою умовою q. "