Diferència entre revisions de la pàgina «Equivalència (lògica)»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Propietat d'aquelles fórmules que són veritables o falses per a idèntiques assignacions de valors de veritat <div class='mw-col...».) |
|||
| (4 revisions intermèdies per 2 usuaris 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 | ||
| − | |||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| − | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
<center><math>(¬p \wedge ¬q)</math> i <math>¬(p \vee q)</math></center> | <center><math>(¬p \wedge ¬q)</math> i <math>¬(p \vee q)</math></center> | ||
| Línia 12: | Línia 10: | ||
| − | <center>[[File: | + | <center>[[File:e5010-3.gif]]</center> |
[[Recurs:Exemple lògic de fórmules equivalents]] | [[Recurs:Exemple lògic de fórmules equivalents]] | ||
</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»