L’équivalence est une relation entre formules tandis que la bi-implication est un connecteur (binaire) qui à partir de deux formules forme une nouvelle formule.
Lorsqu’une bi-implication est tautologique, on dit, dans le métalangage, que les deux membres de la bi-implication sont équivalents, ce qui revient à dire que ces deux membres prennent, pour toute interprétation des lettres de propositions la même valeur de vérité.
Expressions et locutions
Mode Libre —
Contact
Une idée, un bug, une collaboration ? Écrivez-nous.