Problemas de Práctica de Lógica Proposicional: Te Ponen Una Multa Por Exceso de Velocidad
Cargado por
ScribdTranslationsProblemas de Práctica de Lógica Proposicional: Te Ponen Una Multa Por Exceso de Velocidad
Cargado por
ScribdTranslationsProblemas de práctica de lógica proposicional
1. Let p denote “He is rich” and let q denote “He is happy.” Write each statement in symbolic
Forma usando p y q. Nota que "Él es pobre" y "Él es infeliz" son equivalentes a ¬p y
¬q, respectivamente.
(a) Si él es rico, entonces él es infeliz.
Es necesario ser pobre para ser feliz.
Él no es ni rico ni feliz.
Ser pobre es ser infeliz
2. Sea p y q las proposiciones "Nadar en la costa de Nueva Jersey está permitido" y "Tiburones
han sido avistados cerca de la costa,
como una oración en inglés.
a)¬q g)p⇐⇒¬q
b)p∧q h)¬p∧(p∨ ¬q)
c)¬p∨q i)p⊕q
d)p→ ¬q
e)¬q→p
f)¬p→¬q
3. Sea p y q las proposiciones
Conduces a más de 65 millas por hora.
Te ponen una multa por exceso de velocidad.
Escribe estas proposiciones usando p y q y conectivos lógicos (incluidas las negaciones).
a) No conduces a más de 65 millas por hora.
b) Conduces a más de 65 millas por hora, pero no recibes una multa por exceso de velocidad.
c) Recibirás una multa por exceso de velocidad si conduces a más de 65 millas por hora.
d) Si no conduces a más de 65 millas por hora, entonces no recibirás una multa por exceso de velocidad.
e) Conducir a más de 65 millas por hora es suficiente para recibir una multa por exceso de velocidad.
f) Te multan por exceso de velocidad, pero no conduces a más de 65 millas por hora.
g) Cada vez que recibes una multa por exceso de velocidad, estás conduciendo a más de 65 millas por hora.
4. Establezca la conversión, el contraposición y la inversa de cada una de estas declaraciones condicionales.
a) Si hoy nieva, esquiaré mañana.
b) Vengo a clase siempre que va a haber una prueba.
c) Un número entero positivo es primo solo si no tiene divisores distintos de 1 y de sí mismo.
5. Muestra que ¬(p ∧q) ≡ ¬p ∨ ¬q.
6. Demuestra que la proposición es una tautología p → (p ∧ (q → p))
7. Construya la tabla de verdad para (p→q)↔(¬q→ ¬p)
8. Construct the truth table for (p ⊕q)→(p⊕ ¬q)
9. Demuestra que "En la Copa Mundial de la FIFA, o Alemania llegará a la final o Inglaterra y
Argentina llegará a la final" y "Alemania o Inglaterra llegarán a la final, y Alemania
o Argentina alcanzará la final" son lógicamente equivalentes.
10. Sea P(x) la proposición "x pasa más de cinco horas cada día de semana en clase," donde el
El dominio para x consiste en todos los estudiantes. Expresa cada una de estas cuantificaciones en inglés.
a)∃xP(x)
b) ∀xP(x)
c)∃x¬P(x)
d) ∀x¬P(x)
11. Traduce estas afirmaciones al inglés, donde C(x) es "x es un comediante" y F(x) es "x es ...
divertido" y el dominio consiste en todas las personas.
a) ∀x(C(x)→F(x))
b)∀x(C(x)∧F(x)
c)∃x(C(x)→F(x)
d)∃x(C(x)∧F(x)
12. Traduce estas declaraciones al inglés, donde
A(x): x está enseñando CSE230
T(x): x está tomando STA201
F(x): x tiene una página de Facebook
a x le gusta cocinar
a) ∀x(T(x)→F(x))
b)∃x(T(x)∧A(x)
c)¬∀x(T(x)→(F(x)∨C(x))
13. Traduzca cada una de estas afirmaciones en expresiones lógicas utilizando predicados, cuantificadores y
conectivos lógicos.
a) Nadie es perfecto.
b) No todo el mundo es perfecto.
c) Todos tus amigos son perfectos.
d) Al menos uno de tus amigos es perfecto.
e) Todos son tus amigos y son perfectos.
f) No todo el mundo es tu amigo o alguien no es perfecto.
14. Sea P(x) la afirmación "x puede hablar inglés" y sea Q(x) la afirmación "x sabe
lenguaje de programación Python. Expresa cada una de estas oraciones en términos de P(x), Q(x),
cuantificadores y conectivos lógicos. El dominio para los cuantificadores consiste en todos los estudiantes en
tu escuela.
Hay un estudiante en tu escuela que puede hablar inglés y que sabe Python.
(b) Hay un estudiante en tu escuela que puede hablar inglés pero que no sabe Python.
(c) Cada estudiante en tu escuela puede hablar inglés o sabe Python.
(d) Ningún estudiante en tu escuela puede hablar inglés ni sabe Python.
15. Sea P(x), Q(x), y R(x) las declaraciones "x es un profesor", "x es ignorante", y "x es"
vano,
y P(x), Q(x) y R(x), donde el dominio consiste en todas las personas.
a) Ningún profesor es ignorante.
b) Todas las personas ignorantes son vanas.
c) Ningún profesor es vanidoso.
