Ctagña Danny_Implicacion y equivalecia logica - danny catagña

Prévia do material em texto

APELLIDOS Y NOMBRES: Catagña Rios Danny Israel 
NOMBRE DE LA TAREA: Implicación y Equivalencia lógica 
FECHA DE ENTREGA: 2021/12/02 
IMPLICACIÓN LÓGICA 
Se llama implicación lógica o simplemente implicación a toda condicional 
p ® q que sea tautología. 
Ejemplo: 
Verifica si la siguiente condicional es una implicación lógica: 
[(p ® q) Ù ~ q] ® ~ p 
 
 
 
 
 
 
 
Equivalencia lógica 
Se llama equivalencia lógica o simplemente equivalencia a todo bicondicional p «q que sea 
tautología. 
Ejemplo: 
Verifica si el siguiente bicondicional es una equivalencia lógica: 
[p Ù (p Ú q)] «p 
 
Diferencia entre implicación y equivalencia lógica 
La noción de implicación lógica es esencial para formalizar los razonamientos 
deductivos. Y la de equivalencia permite hacer transformaciones sintácticas de las sentencias sin 
perder su semántica. 
Relación entre lógica y equivalencia lógica 
No existe ninguna relación verificable