Diferència entre revisions de la pàgina «Equivalència (lògica)»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
m (bot: -veure exemple +veg. exemple) |
||
| Línia 4: | Línia 4: | ||
<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> | ||
Revisió del 11:56, 22 ago 2017
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.