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...».) |
(Cap diferència)
|
Revisió del 09:44, 5 feb 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.