Ejercicio · ZW-TABLA-VERDAD-010 · ★★☆ Intermedio
Si dos fórmulas tienen la misma columna final en toda la tabla, son...
Elige una opción.
Ver respuesta
- D. Lógicamente equivalentes
Ejercicio · ZW-TABLA-VERDAD-010 · ★★☆ Intermedio
Elige una opción.
Si la columna final coincide en todas las filas, las fórmulas tienen el mismo valor en cada asignación, es decir, son lógicamente equivalentes.
Sean \(P_1,\ldots,P_n\) proposiciones atómicas. Una tabla de verdad registra el valor de una fórmula para cada asignación \(\mathcal V\) de ellas.