Que es una equivalencia logica?

¿Qué es una equivalencia lógica?

La equivalencia lógica permite reemplazar una expresión con otra si ambas generan la misma tabla de verdad. La equivalencia material es una conectiva lógica que es verdadera si las dos proposiciones a las que se aplica tienen el mismo valor de verdad y falsa si las proposiciones tienen valores de verdad diferentes.

¿Cómo saber si una fórmula es equivalente?

1 Si a los dos miembros de una ecuación se les suma o se les resta una misma cantidad, la ecuación es equivalente a la dada. 2 Si a los dos miembros de una ecuación se les multiplica o se les divide una misma cantidad, la ecuación es equivalente a la dada.

¿Qué es la equivalencia de proposiciones?

1 Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en todas sus interpretaciones). También decimos que dos proposiciones son equivalentes cuando la bicondicional que se forma entre ellas es una tautología y viceversa.

¿Qué son dos proposiciones equivalentes?

1 Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en todas sus interpretaciones). Una proposición se llamará tautología si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es verdadero.

¿Qué es una implicancia notable?

IMPLICACION ES NOTABLES. Si p, entonces q y p implica q significan cosas distintas. Cuando decimos si p, entonces q estamos usando el lenguaje el lenguaje de la lgica proposicional- para expresar que lo enunciado por p es condicin suficiente de lo enunciado por q, es decir, para expresar una relacin entre enunciados.

¿Qué son las equivalencias lógicas?

3.1.5 Equivalencias Lógicas. •Definición: Dos formas proposicionales P y Q se dicen lógicamente equivalentes, y se escribe P ≡ Q, si sus tablas de verdad coinciden. El programa está bien escrito y bien documentado. El programa está bien documentado y bien escrito.

¿Por qué dos fórmulas lógicas son equivalentes?

Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atómicos. Teorema: Si dos fórmulas lógicas son eqivalentes entonces la fórmula que se obtiene al operarlas con la bicondiconal es una tautología.

¿Cuál es la regla de la equivalencia?

Regla de la equivalencia La regla de equivalencia establece que una doble implicación es igual a la conjunción de las implicaciones de sus componentes: p ↔ q ⇔ (p → q) ∧ (q → p) La tabla de verdad, donde puede verse que esta regla se cumple, o sea, que ambas proposiciones son equivalentes, es la siguiente: p q p ↔ q p → q q → p (p → q) ∧ (q → p)

¿Cuál es la definición de equivalencia?

Esto ya lo explicamos en la definición de equivalencia, esto es, dos proposiciones será equivalentes si unidas por una bicondicional resulta ser una tautología. Para cumplir este objetivo, debemos de comprobarlo con la bicondicional elaborando una tabla de verdad y resolver todos los valores de verdad de sus variables proposicionales.