Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Propiedad de aquellas fórmulas que son verdaderas o falsas para idénticas asignaciones de valores de verdad


ver ejemplo ↓
[math](¬p \wedge ¬q)[/math] y [math]¬(p \vee q)[/math]


son fórmulas equivalentes:


E5010-3.gif

En lógica de relaciones son equivalentes las relaciones que tienen la propiedad de ser reflexivas, simétricas y transitivas (entendiendo que toda relación que es simétrica y transitiva es también reflexiva). Las relaciones de equivalencia permiten la clasificación: partición en grupos mutuamente excluyentes.