Facultad de Educación
EQUIVALENCIAS LOGICAS
Semestre Académico 2022-2
Universidad Nacional
Federico Villarreal
AÑO INTERNACIONAL DE LA QUINUA
Dialogan una chef, la jefa del programa de cereales y
granos nativos de la UNALM y el director general de la
FAO, respectivamente.
Luz Gómez: La quinua no es un
Diana Plasencia: Si la alimento sumamente nutritivo, por lo
quinua contiene diez tanto no contiene diez aminoácidos
aminoácidos esenciales esenciales para nuestro organismo
para nuestro organismo o ni un alto porcentaje de lisina.
incluso un alto porcentaje
de lisina, es un alimento José Graziano: La quinua no es
sumamente nutritivo. un alimento sumamente
Las expresiones nutritivo, porque no contiene un
¿significarán lo alto porcentaje de lisina y/o no
mismo? contiene diez aminoácidos
esenciales para nuestro
organismo.
Universidad Nacional
Federico Villarreal
Equivalencias Lógicas
Dadas dos formas
proposicionales, A y B,
AB
diremos que A es lógicamente V
equivalente a B y escribimos V
V
A B siempre y cuando la V
forma bicondicional A B es V
V
una Tautología. V
V
Universidad Nacional
Federico Villarreal
Equivalencias Lógicas
Las expresiones equivalentes se determinan
aplicando:
TABLAS DE LEYES DE
VALORES EQUIVALENCIAS
DE VERDAD LÓGICAS
Universidad Nacional
¡Comprobamos utilizando TABLAS DE VALORES DE VERDAD
Federico Villarreal
DIANA PLASENCIA LUZ GÓMEZ JOSÉ GRAZIANO
p q r
Dos proposiciones son lógicamente equivalentes si la matriz principal tienen los
mismos valores de verdad. Se simboliza con ≡.
PRINCIPALES
Universidad Nacional
Federico Villarreal LEYES DE Equivalencias Notables
Nombre de la Ley Representación simbólica
AB BA
Conmutativa
A B BA
Doble Negación ~~ A A
~ (A B) ~ A ~ B
Leyes de D’ Morgan
~ (A B) ~ A ~ B
Definición de la A→B~AB
Condicional
Transposición A→B~B→~A
De la Bicondicional A B(A→B) (B→A)
A B ( A B )
¡ Comprobamos
Universidad Nacional
Federico Villarreal utilizando LEYES DE EQUIVALENCIAS
LÓGICAS !
(1) DIANA
PLASENCIA:
(2) LUZ
GÓMEZ:
(3) JOSÉ
GRAZIANO
Por lo tanto, los esquema (__) y (__)
son equivalentes.
Universidad Nacional
Federico Villarreal