Diferència entre revisions de la pàgina «Equivalència (lògica)»
De Wikisofia
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| Línia 1: | Línia 1: | ||
| − | |||
Propietat d'aquelles [[fórmula|fórmules]] que són vertaderes o falses per a idèntiques assignacions de valors de veritat | Propietat d'aquelles [[fórmula|fórmules]] que són vertaderes o falses per a idèntiques assignacions de valors de veritat | ||
| − | |||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| Línia 17: | Línia 15: | ||
</div></div> | </div></div> | ||
| − | En lògica de relacions són equivalents | + | En lògica de relacions són equivalents aquelles 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. |
| + | |||
| + | ---- | ||
| + | |||
| + | En [[lògica|lògica d'enunciats]] l'equivaència ve donada pel [[bicondicional|bicondicional]], el signe del qual és: <math>\leftrightarrow{}</math> i que es llegeix «si, i només si» | ||
{{Etiqueta | {{Etiqueta | ||
Revisió de 18:11, 30 set 2018
Propietat d'aquelles fórmules que són vertaderes o falses per a idèntiques assignacions de valors de veritat
En lògica de relacions són equivalents aquelles relacions que tenen la propietat de ser reflexives, simètriques i transitives (entenent que tota relació que és simètrica i transitiva és també reflexiva). Les relacions d'equivalència permeten la classificació: partició en grups mútuament excloents.
En lògica d'enunciats l'equivaència ve donada pel bicondicional, el signe del qual és: [math]\displaystyle{ \leftrightarrow{} }[/math] i que es llegeix «si, i només si»