Diapositiva Logica

Equivalencia lógica
Lógica

Relación
lógica

≈ tautología

Se da cuando
dos fórmulas
de unen

Equivalencia
Lógica
Luego de
evaluarse

A través de
unabicondicional

Equivalencia
≠
bicondicional

Es
equivalencia
si es
resultado
final es
tautología

Si no es
tautología
es un
esquema
bicodicional

EJEMPLOS

1. Vamos adeterminar si los esquemas
A y B que aparecen a continuación
son
A= p
v ~ qequivalentes:
B= ~ p
ͻ~ q

A

B

tautología

El resultado del operador “≡”
es tautológico,luego A y B son
equivalentes.
 
 

2-Si tenemos las siguientes
proposiciones A y B
A=Si Einstein dice la verdad, entonces
la teoría de la relatividad es exacta.B=No es el caso que la teoría de la
relatividad no sea exacta y Einstein
diga la verdad.

Uniendo bicondicionalmente las
dos proposiciones se tiene:
Si Einsteindice la verdad entonces la
teoría de la relatividad es exacta, si y
solo si no es el caso que la teoría de la
relatividad no sea exacta y Einstein
diga la verdad.Para demostrar si esta proposición
bicondicional
es
equivalente,
simbolizamos y hallamos la tabla
veritacional:
 Einstein dice la verdad =p
 La teoría de larelatividad es
exacta =q

A= p ͻ q
B= ~(~ q ^
p)

Como la tabla de
valores arroja una
tautología, las
proposiciones A y B
son equivalentes.

3-¿Cuáles de losesquemas
moleculares siguientes son
equivalentes?
A= ~p v q .v. ~r Λ ~p
B= p .≡. r ͻ q
C= ~q ͻ ~ p
 Para demostrar si son equivalentes
o no, se procede relacionando A≡B;
A≡C ; B≡C.

Comencemos por
A≡B

Tememos ahora
A≡C

 
Finalmente consideremos
B≡C

EN CONSECUENCIA
SOLAMENTE LOS
ESQUEMAS A Y C
SON
EQUIVALENTES.
 

GRACIAS