FCPN-UMSA MAT-110

mm

Lista de Ejercicios 1
Lógica Básica

1. Escriba la tabla de verdad de cada proposición en los ejercicios a) a d).

a) ∼ (p ∧ q) ∨ (∼ q ∨ r) c) (p∨q)∧(∼ p∨q)∧(p∨ ∼ q)∧(∼ p∨ ∼ q)

b) (∼ p∨ ∼ q) ∨ p d ) ∼ (p ∧ q) ∨ (r∧ ∼ p)

2. Considere las siguientes proposiciones

p : Leo toma ciencias de la computación.

q : Leo toma programación lineal.

Construir las siguientes proposiciones:

a) ∼ p c) p ∨ q e) p∧ ∼ q
b) p ∧ q d ) p∨ ∼ q f ) ∼ p∧ ∼ q

3. Simplificar las siguientes proposiciones

a) (p ∧ q) ∨ (∼ q∧ ∼ p) ∨ (p → V ) ∨ (q∧ ∼ q)
 
b) ∼ (p∧ ∼ q) → (∼ p∧ ∼ q) ∨ (∼ p ∧ q)
 
c) ∼ (p∧ ∼ (p∧ ∼ q)) →∼ (q∧ ∼ p)
 
d ) ∼ (∼ p → r)∧ ∼ (q∧ ∼ p)

4. En los siguientes ejercicios, las premisas están ya en su forma simbólica. Indicar si cada
argumento deductivo es válido.

a) c)
S → (P ∨ Q) P∨ ∼ Q
S ∼Q↔R
∼P P∨ ∼ R
∴Q ∴P

b) d)

P ∧R P →S
P →S P ∧Q
R→T (S ∧ R) →∼ T
∴S∧T Q→R
∴∼ T
1 Prof. Paola G. Patzi Aquino
FCPN-UMSA MAT-110

5. Dar una demostración formal de los razonamientos siguientes:

a) Demostrar: y + 8 < 12
(1) x + 8 = 12 ∨ x 6= 4
(2) x = 4 ∧ y < x
(3) x + 8 = 12 ∧ y < x → y + 8 < 12.
b) Demostrar: x = 4
(1) 3x + 2y = 18 ∧ x + 4y = 16
(2) x=2 ⇒ 3x + 2y 6= 18
(3) x=2 ∨ y=3
(4) x 6= 4 ⇒ y 6= 3

6. Investigar la validez del razonamiento

a) Si Juan es andaluz, entonces Juan es europeo. Juan es europeo. Por tanto, Juan es
andaluz.
b) Cuando tanto la temperatura como la presión atmosférica permanecen contantes,
no llueve. La temperatura permanece constante. En consecuencia, en caso de que
llueva, la presión atmosférica no permanece constante.
c) Siempre que un número x es divisible por 10, acaba en 0. El número x no acaba en
0. Luego, x no es divisible por 10.
d ) La pesca es un deporte popular o el lacrosse es muy popular en California. El lacrosse
no es muy popular en California. Por lo tanto, la pesca es un deporte popular.

7. Sea P (x) la afirmación x está en un curso de matemáticas. El dominio de discurso es el

conjunto de todos los estudiantes. Escriba cada proposición en los ejercicios a) − f ) en
palabras.

a) ∀x P (x) c) ∀x ∼ P (x) e) ∼ (∀x ∼ P (x))

b) ∃x P (x) d ) ∃x ∼ P (x) f ) ∼ (∃x ∼ P (x))

8. Determine si las siguientes afirmaciones cuantificadas universalmente y existencialmente

son verdaderas o falsas.

a) ∀x : (x2 − 1 > 0)
 x 2
b) ∃x : =
x2 + 1 5
 1 
c) Verificar que la afirmación ∃x : > 1 , es falsa.
x2 + 1

2 Prof. Paola G. Patzi Aquino