Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA PROPOSICIONAL
Ingeniería Civil
Matemáticas Discretas
2
TALLER-1
1. Sean p y q las proposiciones "Se permite nadar en la costa de Nueva Jersey" y "Se han
visto tiburones cerca de la costa", respectivamente. Exprese cada una de estas
proposiciones compuestas como una oración en inglés.
A) ¬q → p
B) ¬p → ¬q
A) Conduce a más de 65 millas por hora, pero no consigue una multa por exceso de
velocidad.
B) Si no conduce a más de 65 millas por hora, entonces no recibirá una multa por
exceso de velocidad.
C) Conducir a más de 65 millas por hora es suficiente para obtener una multa por
exceso de velocidad.
4. Bajo el supuesto que P y Q son verdaderas, y R y S son falsas, hallar los valores de
verdad de las siguientes expresiones:
A) p V v (q ꓥ r)
B) (p ꓥ (q ꓥ r)) V ¬((p V q) ꓥ (r V s))
C) (¬(p ꓥ q) v ¬r) V (((¬p ꓥ q) V ¬r) ꓥ S)
5. Escriba cada uno de estos enunciados en la forma “si p, entonces q” en inglés. (Sugerencia:
consulte la lista de formas comunes de expresar declaraciones condicionales.)
A) Nieva siempre que sopla el viento del noreste.
B) Que los Pistons ganen el campeonato implica que
vencieron a los Lakers.
C) Tu garantía es válida solo si compraste tu CD
jugador hace menos de 90 días.
3
SOLUCION
1.
A) If sharks have not been spotted near the shore, then swimming at the New Jersey
shore is allowed.
B) If swimming at the New Jersey shore is not allowed, then sharks have not been
spotted near the shore.
2.
A) Proposiciones:
Justificación: Notamos que la segunda proposición (q) está en negación a demás q tiene
una implicación con respecto a la primera proposición (P).
B) Proposiciones:
C) Proposiciones:
Justificación: Las variables tienen doble implicación ya que una es sufriente para la otra
4
3.
A) Valor de verdad de las proposiciones:
p: v
q: f
r: v
p q r P∧q P∧q→r
v f v f v
Tabla 1 Resultado del valor de verdad.
p q r p∨q ¬r p∨q→¬r
v f v v f v
Tabla 2 Resultado del valor de verdad.
p q r (q → r) p ∧ (q → r)
v f v v V
p q r (q → r) p → (q → r)
V f v v v
4.
A) P: T
Q: T
R: F
T V (T ꓥ F)
T V (F)
=T
Justificación: Se puede concluir que el valor de verdad arrojado por la expresión en
el inciso A es de verdadero (T)
B) P: T
Q: T
R: F
S: F
C) P: T
Q: T
R: F
S: F
5.
A) Si nieva siempre es por que sopla el viento del noreste.
B) Si los Pistons ganan el campeonato entonces vencieron a los larkers.
C) Su garantía es válida a menos que haya comprado su reproductor de CD hace
menos de 90 días.
6