En lógica, dos fórmulas son lógicamente equivalentes si tienen el mismo valor de verdad para todas las combinaciones posibles de valores de verdad de sus variables proposicionales. En otras palabras, si tienen la misma tabla de verdad.
- Valor de Verdad: Una fórmula lógica puede ser verdadera (V) o falsa (F).
- Tabla de Verdad: Una tabla que muestra todos los posibles valores de verdad de una fórmula para todas las combinaciones de valores de verdad de sus variables.
- Equivalencia Lógica: Dos fórmulas son lógicamente equivalentes si, para cada fila de sus tablas de verdad, ambas fórmulas tienen el mismo valor de verdad (ambas son V o ambas son F).
No hay comentarios.:
Publicar un comentario