Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios de Lógica Matemática
Ejercicios de Lógica Matemática
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.
2. La traducción en el lenguaje formal de la proposición “Si tú 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) q → ( p ∧ r )
d) ( p ∧ q) → r
4. Para la siguiente proposición construya la tabla de verdad e indica si se trata de una tautología, contra-
dicción o contingencia.
B : (( p → q) ∨ (¬q ∧ r )) ↔ (r ↓ q)
Respuesta: Es una contingencia
5. Desarrollar la tabla de verdad para la siguiente proposición: A: ( p ∧ q) → (r ∨ ¬ p) ∧ r.
1
6. 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.
es verdadero.
Respuesta: p ∨ q
Respuesta: ¬ ( p ∧ q)
a) ¬ p ≡ p ↓ p c) p ∧ q ≡ ( p ↓ p) ↓ (q ↓ q)
b) p ∨ q ≡ ( p ↓ q) ↓ ( p ↓ q) d) ( p ↔ q) ∧ ¬( p ∧ q) ≡ p ↓ q
H1 ) W → ( P ∧ R)
H2 ) W ∧ ¬( T ↓ W )
H3 ) (¬ Q ∧ ( Q → S)) ⊻ ( R ∨ ( R ∧ W ))
( Q ∧ R) ∨ S
2
16. Dadas las siguientes premisas, demostrar la conclusión dada.
H1 ) Q ↓ S
H2 ) ( P ↔ T ) → Q
H3 ) ((¬ T ↓ Q) ∨ (¬ T ↓ S))
¬P
H1 ) ¬ ((S ↓ ¬U ) → (W → T ))
H2 ) ( Q ⊻ ( P ∧ ¬ P)) ∨ S
H3 ) (V ⊻ ¬W ) → (( P → R) → P)
( P ∧ Q) ∨ R
H1 ) (w → r ) → ( p ∧ r )
H2 ) p ↔ q
H3 ) q ↓ s
w ∧ ¬r
3
25. Usar equivalencias lógicas para probar que p ∧ (¬ p ∨ q) ∨ ( p ∧ q) → p es una tautología.
32. Para los siguientes razonamientos, represente con una letra proposicional cada proposición y demuestra
o refute la conclusión dada.
4
e) (∃ x ∈ R )(∀y ∈ R )( x + y = y).
a) Sea A = {−5, −4, −3, 2, 4} y B = {1, 2, 3, 4}. Para todo x ∈ A, existe y ∈ B tal que x + y ≥ 0.
b) Existe x ∈ R tal que x2 − 1 = 0.
c) Para todo x ≥ 0 y todo y ≤ 0 entonces − x · y ≤ 0.
35. Refutar con un contraejemplo la siguiente afirmación: si P y Q son dos proposiciones entonces la pro-
posición
( P ∨ Q) ↔ ( P ∧ Q)
es una tautología.
36. Refutar con un contraejemplo la siguiente afirmación: si P, Q y R son tres proposiciones, entonces la
proposición
( P → Q) ↔ ( P → R)
es una tautología.
( p ∧ q) ∨ r =⇒ q ∨ r
( p ∨ ¬r ) ∧ ¬ p =⇒ ¬ p ∧ ¬r
( P ∧ R) → ( Q ∧ S)
es una proposición verdadera.
40. Sean P y Q dos proposiciones. Demostrar empleado el método de reducción al absurdo que:
P → ( P ∨ Q)
P1 : p ∨ q
P2 : p → r
P3 : q → r