Razonamiento Lógico Matemático

MAT-110
Formato de Entrega Ejercicio
Nombre estudiante: Marlon Leonardo Tejada Tejada Mat/ID: 1014-0839 Grupo: 6000
No de Ejercicio 3.3: 1 - 54

Si usted lo ve en Internet, entonces puede creerlo.

Si está respirando, entonces está vivo.

Si un número entero es divisible entre 10, entonces es divisible entre 5.

Si un número es un entero con cuadrado perfecto, entonces tiene el dígito de las unidades igual
a 0,1,4,5,6 o 9.

Si alguien es marino, entonces ama el campo de entrenamiento.

Si es una película, entonces cuenta una historia.

Si es un panda, entonces no está en Idaho.

Si es un conejillo de indias, entonces no es un estudiante.

Si es un consumidor de opio, entonces no tiene autocontrol.

Si es Oso Corredor, entonces ama a Palomita Blanca.

Verdadero. Porque siempre que el antecedente sea verdadero el enunciado condicional será
verdadero.

Falso. Porque si el antecedente es falso, el enunciado condicional será falso.

Verdadero. Porque si el consecuente es verdadero, el enunciado condicional será verdadero sin

importar si el antecedente es falso.

Verdadero. Porque el antecedente es falso, ya que se está negando a p, y siempre que esto
sucede el enunciado condicional es verdadero.

Falso. Porque cuando se niega un enunciado condicional, lo que cambia es el consecuente, no

ambas cosas.

Verdadero. Porque la negación de p → q en forma de disyunción es ~p v q, y en este caso se

aplica esa regla.

Verdadero. Porque si ~p es verdadero, p es falso, y como hay dos enunciados falsos en un

condicional esto convierte al enunciado condicional en verdadero.

Falso. Porque el antecedente es verdadero y el consecuente es falso, y esto convierte al

enunciado condicional en falso.

Es verdadero porque ambos enunciados son falsos, y la regla de los enunciados condicionales
dice que, si tanto el antecedente como el consecuente son falsos, el enunciado condicional será
verdadero.
Si en un enunciado condicional el antecedente es falso, automáticamente el enunciado
condicional será verdadero; si el consecuente es verdadero, el enunciado condicional será
verdadero. Si el enunciado condicional tiene su antecedente verdadero y su consecuente falso,
entonces será falso. Si el antecedente y el consecuente son ambos verdaderos, o ambos falsos,
el enunciado condicional será verdadero.

Falso. Porque el antecedente (T=True) es verdadero y el consecuente es falso.

Verdadero. Porque el consecuente es verdadero. (También porque el antecedente es falso)

Verdadero. Porque el antecedente es falso.

Falso. Porque el antecedente es verdadero y el consecuente es falso.

Verdadero. Porque el antecedente es falso.

Verdadero. Porque ambos enunciados son verdaderos.

Si ellos no crían alpacas, entonces él entrena perros.

Si él entrena perros, entonces ellos no crían alpacas.

Si ella tiene un pájaro como mascota, entonces ellos crían alpacas y él entrena perros.

Si ella tiene un pájaro como mascota y él entrena perros, entonces ellos crían alpacas.

Si él no entrena perros, entonces ellos no crían alpacas o ella tiene un pájaro como mascota.
Si ella no tiene un pájaro como mascota o ellos no crían alpacas, entonces él no entrena perros.

b→p

s→b

p → ~s

~b → ~s

p ^ (s → ~b)

b v (p → s)

p→s

~s → b

Verdadero. Porque ambos enunciados son verdaderos.

Verdadero. Porque ambos enunciados son verdaderos.

Falso. Porque el antecedente es verdadero y el consecuente es falso.

Falso. Porque el antecedente es verdadero y el consecuente es falso.

Verdadero. Porque el antecedente es falso.

Verdadero. Porque el antecedente es falso.

Falso. Porque el antecedente es verdadero y el consecuente es falso.

Falso. Porque el antecedente es verdadero y el consecuente es falso.

Verdadero. Porque el antecedente es falso.

Verdadero. Porque el antecedente es falso.

Verdadero. Porque tanto el antecedente como el consecuente son verdaderos.

Verdadero. Porque tanto el antecedente como el consecuente son verdaderos.

Porque como p es verdadero, la disyunción dentro del paréntesis del antecedente es verdadera
(basta con que un enunciado sea verdadero para que una disyunción sea verdadera), y esta al
ser verdadera, convierte a toda la expresión entre corchetes verdadera, ya que hay otra
disyunción. Esto hace que el antecedente del enunciado condicional sea verdadero, y si vemos
el consecuente, hay una disyunción donde aparece p, lo que convierte al consecuente en
verdadero también. Esto dice que el enunciado condicional es verdadero porque su
antecedente y consecuente son verdaderos.

(p ^ r) → (~q v r)