Universidad de Talca Módulo: Álgebra I

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

Campus Curicó 15 de Agosto 2016

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);

(b) (∼ p → q) ↔∼ q;
(c) (p ↔ q) ∧ (p → r);
(d) [(p∨ ∼ r) ∨ q]) → (r∨ ∼ p);
(e) (∼ p∧ ∼ q) ↔∼ (p ∨ q);
(f) (p → 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. 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

9. 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).
10. 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).

11. 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)

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

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

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

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

14. (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 y una tabla de verdad con las proposiciones del paso anterior.
• Concluya, observando la tabla de verdad quienes están o no están estudia Álgebra y Trigonometrı́a.