Universidad de Talca Módulo: Álgebra I

Instituto de Matemática y Fı́sica Carrera: Ingenierı́as.

Campus Curicó 21 de Marzo 2017

Guı́a 1 : Lógica

1. Determinar cuál(es) de las siguientes sentencias son proposiciones.

a) ¡Pobre del que se atreva!

b) La educación es un tema de estado.
c) Si 3 + 5 = 8 entonces las calculadoras están obsoletas.
d) Deben practicar todos los dı́as.
e) Salgan de la sala.

2. Para cada una de las proposiciones dadas a continuación: (a) separar las simples de las compuestas;
(b) indicar los términos de enlace que se usan; (c) simbolizar las compuestas.

a) La produccción diaria de una fábrica depende tanto de la cantidad de capital invertido en la planta
y en equipos, como de la magnitud de la fuerza de trabajo.
b) Si el precio del cobre, el valor del dólar y la venta de acciones son algunos indicadores económicos,
entonces hay que estar atento a los cambios en éstos.
c) Juan, Marı́a y Antonio son parientes siempre y cuando tengan un ascendiente común.
d) El curso de matemática incluye tópicos de algebra y de cálculo.
e) Si un alumno quiere aprobar con buena nota el curso, entonces deberı́a estudiar clase a clase.
f ) Gabriel llega a la hora o es despedido de su trabajo.
g) No se otorgará reajuste a las personas que tienen contratos a honorarios ni a los con media jornada.
h) El encargado alcanzará a hacer el depósito bancario siempre y cuando llegue a la hora a su trabajo.
i) Si la explotación comercial no se regula, será inminente el daño ecológico.
j) La utilidad total de una empresa será máxima siempre que los costos variables sean mı́nimos.
k) Vuestra inversión en educación será efectiva sólo sı́ asisten regularmente a clase.

3. Escribir en forma simbólica los siguientes enunciados. Además, escribir la negación de cada uno de
ellos.

a) Debemos tener relaciones comerciales con paı́ses de ingreso per cápita superior al nuestro y debemos
ayudar a aquellos con ingreso inferior.
b) Si se usa la tecnologı́a, entonces aumenta tanto la calidad de los productos que se fabrican como
la producción.
4. Considerar las siguientes proposiciones simples:
p: hoy los precios son altos, q: los precios seguirán subiendo, y r: los sueldos se mantienen.
Escribir en lenguaje cotidiano cada una de las proposiciones compuestas:

a) ∼ (p ∨ q) → r;
b) (p∧ ∼ r) ↔ (p →∼ q);
c) (p ∧ q) → r.

5. Construir la tabla de verdad para cada una de las proposiciones que siguen.

a) [(p ∨ q) ∧ r] → (p∧ ∼ q); f ) (p → r)∧ ∼ (∼ p ∨ r).

b) (∼ p → q) ↔∼ q;
g) p −→ (p ∨ q)
c) (p ↔ q) ∧ (p → r);
h) (p −→ q) −→ (q −→ p)
d) [(p∨ ∼ r) ∨ q]) → (r∨ ∼ p);
e) (∼ p∧ ∼ q) ↔∼ (p ∨ q); i) [(p −→ q) ∧ (q −→ r)] −→ (p −→ r)

6. Si la proposición (esquema)

∼ [(p ←→ q)∧ ∼ (∼ q ∨ r)]

es falsa, el valor de la verdad de p, q, r es

7. Si p es una proposición verdadera, q es falsa y r es una proposición cualquiera, determinar el valor de

verdad de:

a) [(p ∨ q) ∧ r] → (p∧ ∼ q);

b) (∼ p → q) ↔∼ q;
c) (p ↔ q) ∧ (p → r).

8. Si p y q son proposiciones falsas, determine el valor de verdad de :

h  i
a) p ∧ (q ∨ p) ∨ p ⇐⇒ [q ∨ p]
b) [(q −→ p) −→ q] ∨ (q ∨ p)

9. De la falsedad de la proposición

(p −→∼ q) ∨ (¬r −→ s)

se deduce que el valor de verdad de los esquemas compuestos es:

i) (¬p ∧ ¬q) ∨ ¬q
ii) (¬r ∨ q) ←→ [(¬q ∨ r) ∧ s]
iii) (p −→ q) −→ [(p ∨ q) ∧ ¬q]

a) VFV b) FFF c) VVV d) FFV e) N.A

10. El conectivo lógico ↓ se llama negación conjunta; la expresión p ↓ q, que se lee ni p ni q, es verdadera
si y sólo sı́ ambas proposiciones son falsas. Comprobar que:

a) ∼ p ≡ p ↓ p;
b) p ∧ q ≡ (p ↓ p) ↓ (q ↓ q);
c) p ∨ q ≡ (p ↓ q) ↓ (p ↓ q).

11. Usando tablas de verdad, y luego usando las leyes proposicionales, determinar si las proposiones P y
Q son equivalentes.

a) P : p → (q ∨ r), Q : (p∧ ∼ q) → r;
b) P : p ∨ (∼ p ∧ q), Q : p ∨ q;
c) P : (p → q) → r, Q : p → (q → r);
d) P : (∼ [p → (q∧ ∼ r)], Q : p ∧ (∼ q ∨ r).

12. Demostrar, usando álgebra de proposiciones.

a) [(p ∧ q) → p] ≡ V
b) [(q → p) ∧ (∼ p → q) ∧ (q → q)] ≡ p
c) ∼ (p ∧ q) ≡ (p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q)
d) [r −→ p ∨ (q ∧ r)] ←→ [r ∧ (p −→ q)]
e) [(p ∨ q) ∧ p] ←→ (p ∨ q)
f ) [p −→ (q ∧ r)] ←→ [(p −→ q) ∧ (p −→ r)]
h i
g) (p ∨ q) ∨ (p ∧ q) −→ p

13. Determine si las siguientes proposiciones son: Tautologı́as, Contradicciones o Contingencias.

a) (p ∧ q) ∧ (p ∨ q)
b) [(p ∧ q) ∧ s] ←→ [p ∧ (q ∨ s)]
h i
c) (p −→ q) ∧ (p ∧ q) ∧ s ←→ (p ∨ q)

14. Demuestre, sin usar tablas de verdad, que la siguiente proposición es una Tautologı́a.

[(p → q) ∧ (q → r)] → [(p ∨ q) → r]

15. Verificar con y sin tablas de verdad que la siguiente proposición es un tautologı́a.

[(p → ∼ q) ∧ (∼ r ∨ q) ∧ r] → ∼ p

16. Determine el valor de verdad de cada uno de los siguientes enunciados:

a) Si 3 < 5 −→ −3 < −5
b) Si 2 + 2 = 4 entonces 3 + 3 = 7 ssi 1 + 1 = 1
c) Si 2 + 2 = 4 entonces no es cierto que 2 + 1 = 3 y 5 + 5 = 10
17. Determine el valor de verdad de cada una de las siguientes proposiciones siendo el universo, el conjunto
de los números reales.

a) ∀ x ∈ R; x − 1 > x + 1 e) ∀ x ∈ R; ∃ y ∈ R; x2 − 2y < 10
b) ∃ x ∈ R; x2 = x f ) ∃ x ∈ R; ∀ y ∈ R; x + y < 10
c) ∀ x ∈ R; x2 + 1 > 2 g) ∀ x ∈ R; ∀ y ∈ R; x2 + 2y < 10
d) ∃ x ∈ R; x2 + 1 = 0 h) ∃ x ∈ R; ∃ y ∈ R; x2 + 2y < 10

18. Niegue cada una de las proposiciones anteriores.

19. Sabiendo que la proposición compuesta [p Y (q −→ (r ∨ s)] es verdadera, determinar el valor de verdad
de [p −→ (r ∨ q)] ∨ s .

20. Negar las siguientes afirmaciones:

a) (∀ x) (∃ y) : (x + y = 5 ⇒ y = −x)
b) (∀ x) (∀ y) : [(x + y es impar) ⇒ (x es impar ∨ y es impar)]
c) (∃ x) (∀ y) : (x < y ∧ x2 ≥ y)
d) (∀ x) (∀ y) (∃ z) : (x < y ⇒ x + z = y)
e) (∀x ∈ R) : (x + 5 > 3 ⇐⇒ x − 8 < 2)

21. Dadas las proposiciones abiertas p(x) : x2 ≥ x y q(x) : x ≥ 0. Determine el valor de verdad de las
siguientes proposiciones:
1


a) p 2 ⇒ q(1) ⇒ [p(x) ∧ q(x)] b) ∀ x ∈ R :∼ p(x) ⇒∼ q(x)

22. Dibujar cicuitos lógicos que evaluan las proposiciones siguientes:

a) p → q g) (p → q) Y (∼ q)
b) r ↔ s
h) (r ∧ s) ↔ (t Y p)
c) (∼ p) ∧ r
 
d) s ∨ (∼ p) i) (∼ r) Y s ↔ (q ∧ p)
e) p → (∼ q)
     
f ) (p ∧ r) Y q Y (∼ p) j) (r → s) ∨ (p ∧ q) → (q ∨ r) ∧ (s → p)

23. Dado el circuito lógico

r p0
q

As q0 p0 sB
p
q0 r
r0

a) Encontrar la proposición representada.

b) Indicar valores si existen, de p, q y r para los cuales no pasa corriente de A a B.
24. Dado el circuito lógico, indicar si existen:

r0 q
q

As p0 sB
p
r
q0

a) Encontrar la proposición representada.

b) valores de p, q y r para los cuales pasa corriente de A a B.
c) valores de p, q y r para los cuales no pasa corriente de A a B.

25. ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:

a) [(q ←→ p) ∧ q] −→ (p ∧ q) FALSA.
b) [(p ←→ q) −→ r] ∨ [q ←→ r)] FALSA.
c) [p ∧ (p ∨ q)] ∧ [p ←→ q] VERDADERA.

26. (Aplicación) Averiguar quienes están estudiando Álgebra y Trigonometrı́a, sabiendo que:

Si Luis estudia Álgebra, Carolina también.

Pueden estar estudiando Álgebra, Felipe o Carolina.
O Luis o Carolina estudian Álgebra, pero no ambos
Carolina estudia álgebra si y sólo si estudia Felipe.

Hint:

• Llame p, q, r a la persona que estudia Álgebra y Trigonometrı́a, respectivamente.

• Encuentre las propisiciones implicitas en el enunciado.
• Construya una tabla de verdad con las proposiciones del paso anterior.
• Concluya, observando la tabla de verdad quienes están o no están estudiando Álgebra y Trigonometrı́a.