Académique Documents
Professionnel Documents
Culture Documents
E JERCICIOS PROPUESTOS :
Es verdad que:
a) I y II son proposiciones.
b) I y III son proposiciones.
c) I y IV son proposiciones.
d) II y III son proposiciones.
1
10. La traducción en el lenguaje formal de la proposición “Si tu eres inteligente y no actúas con prudencia, eres un ignorante
en la materia”, siendo las proposiciones:
m: Tú eres inteligente.
n: Tú actúas con prudencia.
p: Tú eres un ignorante en la materia.
es:
a) (m ∧ ¬n) → p
b) m ∨ (n ∨ p)
c) p → (m ∧ ¬n)
d) (m ∧ ¬ p) → n
a) r → ( p ∧ q)
b) (r ∧ p) → q
c) p → (q ∧ r )
d) ( p ∧ q) → r
13. Determine el valor de verdad de las proposiciones P, ¬ Q, S y ¬ T si el valor de verdad de la siguiente proposición
((( P → Q) ⊻ T ) ∧ (( Q ↓ S) ∨ T )) → T
es falso.
14. Determine el valor de verdad de las proposiciones P, Q, R, S y T si el valor de verdad de la siguiente proposición
((((¬ R ∨ Q) → S) ∨ ( P ∨ T )) ↓ (¬(( P ∨ Q) ↔ S))) ∧ ¬S
es verdadero.
18. Usar equivalencias lógicas para probar que (( p ∧ (¬ p ∨ q)) ∨ ( p ∧ q)) → p es una tautología.
P ⇔ ( P ∧ ( P ∨ R))
2
21. Probar que la siguiente equivalencia es válida
(( Q → P) ∧ (¬ P → Q)) ⇔ P
23. Para el siguiente argumento construye la tabla de verdad e indica si se trata de una tautología, contradicción o indeter-
minación. B : (( p → q) ∨ (¬q ∧ r )) ↔ (r ↓ q)
Respuesta: Es una contingencia
24. Formaliza el siguiente argumento, indicando qué enunciado simple corresponde a cada variable que uses, y escribién-
dolos en forma condicional con la conclusión como consecuente.
Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir. Si nos quedamos a cenar o a dormir, no
iremos mañana al concierto. Pero sí iremos mañana al concierto. Así pues, la tormenta no continúa.
Respuesta: ((( p ∨ q) → (r ∨ s)) ∧ ((r ∨ s) → ¬t) ∧ t) → ¬ p