View source for Equivalence (logical)

{{TEX|done}}
''of two propositions (formulas) $A$ and $B$''

Two propositions $A$ and $B$ are (logically) equivalent if for each admissible choice of values of the parameters of $A$ and $B$ either both are true or both are false. For example, equivalence of equations, inequalities and systems of them means the coincidence of their solution sets. Equivalence of formulas of [[Propositional calculus|propositional calculus]] is the coincidence of the Boolean functions (cf. [[Boolean function|Boolean function]]) that they define.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Novikov,   "Elements of mathematical logic" , Oliver &amp; Boyd and Acad. Press  (1964)  (Translated from Russian)</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S.C. Kleene,   "Mathematical logic" , Wiley  (1967)</TD></TR></table>