UNIDAD III:

CLASE Nº 9
Prof: Nelly Niño
Contraejemplos
Son razonamientos o argumentos elaborados para
contradecir otro argumento dado. Su utilización es
muy común en una conversación cotidiana de allí
que permiten ser aplicados en cualquier tipo de
argumento bien sean deductivos o no deductivos

Para su formulación, se revisan las premisas del

argumento dado y se detecta aquella que puede
ser invalidada y a partir de ésta se construye el
contraejemplo
Ejemplos
1. Dado el siguiente argumento, elabore un
contraejemplo que lo invalide
• Todas las aves vuelan Premisa para
invalidar
el águila es un ave
por lo tanto el águila vuela
• No todas las aves vuelan
el avestruz es un ave Contraejemplo

el avestruz no vuela
Ejemplos
2. Dado el siguiente argumento, elabore un
contraejemplo que lo invalide
• Todo mamífero es cuadrúpedo
Premisa para
el caballo es mamífero invalidar
por lo tanto el caballo es cuadrúpedo
• No todos los mamíferos son cuadrúpedos
el delfín es mamífero
el delfín no es cuadrúpedo
Contraejemplo
Simplificación de proposiciones
• Es un procedimiento que utiliza las leyes de
equivalencia lógica para reducir una proposición
a su mínima expresión.
• Una equivalencia lógica se da cuando una
expresión es sustituida por otra sin que altere el
resultado de su tabla de verdad.
• Cuando se aplica este procedimiento puede
generar como resultado final: una tautología,
quedando la simplificación en V, una
contradicción quedando la simplificación en F,
contingencia quedando la simplificación en
variables
Leyes de equivalencia

• Son expresiones ya validadas que

permiten la sustitución de una proposición
sin que se altere su tabla de verdad
llevándola así a su mínima expresión.
• Son utilizadas generalmente ara no
trabajar con la tabla de verdad. En lógica
digital también se utilizan para la
simplificación de circuitos.
Leyes de equivalencia
1. Ley conmutativa: indica que el orden de las
variables no altera la tabla de verdad. Se
aplica solo con el conectivo Y con el conectivo
O
– (p ^ q) = (q ^ p)
– (p v q) = (q v p)
2. Ley asociativa: indica que una variable se
puede asociar a otra siempre y cuando el
conectivo sea el mismo. Se aplica solo con el
conectivo Y con el conectivo O
• [(p ^ q) ^ r] = [p ^ (q ^ r)]
• [(p v q) v r] = [p v (q v r)]
Leyes de equivalencia
3. Ley de absorción: se usa cuando hay una variable
repetida en la proporción y ellas se encuentran unidas
con diferentes conectivos. La variable repetida
absorbe la que no se repite quedando ella sola . Se
aplica solo con el conectivo Y con el conectivo O
• [(p ^ q) v p] = p
• [(p v q) ^ p] = p
4. Ley distributiva: se usa cuando una variable que esta
fuera del paréntesis unida con diferente conectivo se
distribuye dentro del mismo. Para ello el conectivo y la
variable que esta afuera entra al paréntesis y se
asocia a cada variable interna Se aplica solo con el
conectivo Y con el conectivo O
• [(p ^ q) v r] = [p v r) ^ (q v r)]
• [(p v q) ^ r] = [p ^ r) v (q ^ r)]
Leyes de equivalencia
5. Ley de morgan: cuando una proposición
posee fuera del paréntesis un negado, éste se
distribuye dentro de él pero el conectivo dentro
del paréntesis, si es Y cambia a O y si es O
cambia a Y. Se aplica solo con el conectivo Y
con el conectivo O
– ¬ (p ^ q) = (¬ p v ¬ q)
– ¬ (p v q) = (¬ p ^ ¬ q)

6. Equivalente al condicional: se usa cuando

una variable se encuentra unida con el
condicional y se quiere llevar al conectivo O.
• (p q) = (¬ p v q)
Leyes de equivalencia
7. Equivalente al bicondicional: se usa cuando una
variable se encuentra unida con el bicondicional y se
quiere llevar al condicional
• (p q) = [(p q) ^ (q p)]

8. Ley de doble negación: una variable doblemente

negada es igual a la variable
• ¬¬ p = p

9. Ley de Identidad: cuando una variable se une a si

misma, bien sea con Y o con O es igual a ella misma
– (p ^ p) = p
– (p v p) = p
Leyes de equivalencia

10. Leyes del algebra: son identidades que

acondicionan una expresión
• (p ^ ¬ p) = F (falso)
• (p v ¬ p) = V (verdadero)
• (p ^ V) = p
• (p v V) = V
• (p ^ F) = F
• (p v F) = p
Ejemplo de aplicación

1. Dada la siguiente expresión simplifique:

• [(a ^ b) v ¬ b] ¬ (b v a)
En el corchete se aplica distributiva y en el paréntesis morgan
[(a v ¬ b) ^ (b v ¬ b)] (¬ b ^ ¬ a)
En el corchete se aplica algebra el paréntesis queda igual
[(a v ¬ b) ^ V] (¬ b ^ ¬ a)
En el corchete se aplica algebra
[(a v ¬ b)] (¬ b ^ ¬ a)
Se aplica el equivalente al bicondicional
[(a v ¬ b) (¬ b ^ ¬ a)] ^ [(¬ b ^ ¬ a) (a v ¬ b)]
Se aplica el equivalente al condicional
[¬ (a v ¬ b) v (¬ b ^ ¬ a)] ^ [¬ (¬ b ^ ¬ a) v (a v ¬ b)]
Se aplica morgan y doble negación
[(¬ a ^ b) v (¬ b ^ ¬ a)] ^ [( b v a) v (a v ¬ b)]
Se aplica distributiva en el primer paréntesis sacando la letra repetida
y en el segundo paréntesis asociativa
[(¬ a ^ (b v ¬ b )] ^ [( b v ¬ b) v (a v a)]
Se aplica algebra en el prime paréntesis y en el segundo también además de identidad
[(¬ a ^ V )] ^ [( V ) v (a)]
Se aplica algebra en ambos lados
¬a^V
Se vuelve a aplicar algebra, quedando el resultado final
¬a
Es decir
[(a ^ b) v ¬ b] ¬ (b v a) = ¬ a
Ejemplo de aplicación
2. Dada la siguiente expresión simplifique
• {p {[(p ^ q) v ¬p] q}}
Se aplica distributiva en el corchete
{p {[(p v ¬p) ^ (q v ¬p)] q}}
Se aplica algebra en el corchete
{p {[ V ^ (q v ¬p)] q}}
Se aplica algebra en el corchete
{p {[(q v ¬p)] q}}
Se aplica el equivalente al condicional dentro de la segunda llave
{p {¬(q v ¬p) v q}}
Se aplica morgan y doble negación dentro del paréntesis de la segunda llave
{p {(¬q v p) v q}}
Se aplica asociativa dentro del paréntesis de la segunda llave
{p {(¬q v q) v p}}
Se aplica algebra dentro del paréntesis de la segunda llave
{p { V v p}}
Se vuelve a aplicar algebra en la segunda llave
{p V}
Se aplica el equivalente al condicional
{¬p v V}
Se aplica algebra para el resultado final
V
Es decir
{p {[(p ^ q) v ¬p] q}} = V es una tautología
 Actividades propuestas
• Dado los siguientes argumentos, elabore
los contraejemplos que los invalide
1. Todos los ovíparos son aves
los canarios son ovíparos
por lo tanto los canarios son aves
2. Todo invertebrado es un insecto
los zancudos son invertebrados
por lo tanto el zancudo es un insecto
 Actividades propuestas
• Dadas las siguientes expresiones
simplifique
1. {[¬p ^ ( q v p)] [ (p v q) v p]} (p v q)

2. [(¬a v b) ^ a] [b ^ (a v b)]