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...».) |
m (Text de reemplaçament - "File:i" a "File:e") |
||
| Línia 12: | Línia 12: | ||
| − | <center>[[File: | + | <center>[[File:e5010-3.gif]]</center> |
[[Recurs:Exemple lògic de fórmules equivalents]] | [[Recurs:Exemple lògic de fórmules equivalents]] | ||
Revisió del 15:40, 25 abr 2015
Propietat d'aquelles fórmules que són veritables o falses per a idèntiques assignacions de valors de veritat
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ó que és simètrica i transitiva és també reflexiva). Les relacions d'equivalència permeten la classificació: partició en grups mútuament excloents.