Diferència entre revisions de la pàgina «Equivalència (lògica)»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
|||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Propietat d'aquelles [[fórmula|fórmules]] que són | + | Propietat d'aquelles [[fórmula|fórmules]] que són vertaderes o falses per a idèntiques assignacions de valors de veritat |
Revisió del 22:06, 16 març 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 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.