Equivalence (logical)

of two propositions (formulas) and

Two propositions and are (logically) equivalent if for each admissible choice of values of the parameters of and 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 is the coincidence of the Boolean functions (cf. Boolean function) that they define.

References

[1]	P.S. Novikov, "Elements of mathematical logic" , Oliver & Boyd and Acad. Press (1964) (Translated from Russian)

References

[a1]	S.C. Kleene, "Mathematical logic" , Wiley (1967)