Mostra la font per a Equivalència (lògica)

{{ConcepteWiki}}
Propietat d'aquelles [[fórmula|fórmules]] que són veritables o falses per a idèntiques assignacions de valors de veritat 


<div class='mw-collapsible mw-collapsed'>
<center>'''veure exemple ↓'''</center>
<div class="mw-collapsible-content">
<center><math>(¬p \wedge ¬q)</math> i <math>¬(p \vee q)</math></center> 


<center>són fórmules equivalents:</center>


<center>[[File:i5010-3.gif]]</center>

[[Recurs:Exemple lògic de fórmules equivalents]]
</div></div>

En lògica de relacions són equivalents les relacions que tenen la propietat de ser reflexives, simètriques i transitives (entenent que tota [[relació|relació]] que és simètrica i transitiva és també reflexiva). Les relacions d'equivalència permeten la [[classificació|classificació]]: [[partició|partició]] en grups mútuament excloents.

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}