PRÁCTICA N ro 1

Curso Verano Algebra

Arquitectura G-1 y G-2

DOCENTE: Lic. Felix Cabello Colque

1. Determinar por medio de una tabla de verdad, si cada una de las siguientes proposiciones es una tautologia, contra-
dicción o contingencia.

a) [(p →∼ q) ∧ p] ⊻ (∼ p ∧ q) b) [(∼ p ∧ q) →∼ r] ↔ [r∧ ∼ (p∨ ∼ q)]

2. Sean p y r proposiciones cualesquiera, q y s proposiciones tales que ∼ (∼ q ∧ s) es falsa. Hallar el valor de verdad de
las proposiciones siguientes.

a) [(∼ p ∨ s) → (q ∧ r)] ↔ (p →∼ q) b) [(q → p) ∨ (∼ p ∧ r)] ∧ [(p → s)∨ ∼ r]

3. Hallar el valor de verdad de las proposiciones p, q, r y s, sabiendo que:

a) ∼ (r →∼ p) → (∼ q ∨ s) es falso b) ∼ [(r∧ ∼ q) → (∼ p → s)] es verdadera

4. Simplificar las siguientes proposiciones.

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

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

5. Construir el circuito lógico que representa a cada una de las proposiciones siguientes.

a) {[p ∧ (q ∨ r)] ∨ (p∧ ∼ r)} ∧ (∼ p∨ ∼ q) b) {[∼ r ∧ (p ∨ q)] ∨ [(∼ p ∨ r) ∧ (∼ q∨ ∼ r)]} ∧ [∼ p ∨ (q ∧ r)]

6. En cada uno de los siguientes ejercicios, demostrar la conclusion dada haciendo el uso de las reglas de inferencia.

Demostrar : x>4
Demostrar : G∧F Demostrar : x 6= 3 ∨ y 6= 1
1 x>y∨y =3
1 C→B 1 x=3→y≮3
2 x>4→y≯1
a) 2 ∼ D → (E ∧ F ) b) 2 x=y∧x≮y c)
3 x>y→x>4
3 A∧ ∼ B 3 x ≮5∨y <3
4 x=y→y≯1
4 (A ∧ E) → G 4 x = y → (x = y + 2 ∨ x < 5)
5 x>y∨x=y
5 C∨ ∼ D 5 x=y+2→x<y
6 y=3→y>1

7. Demostrar la validez de los siguientes razonamientos:

a) Si la ballena es un mamifero entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no necesita
branquias. La ballena es un mamı́fero y habita en el oceano. Por tanto, habita en el oceano y no necesita
branquias.
b) Mi padre me alaba si yo estoy orgulloso de mi mismo. O me va bien en deportes o no puedo estar orgulloso de
mi mismo. Si estudio bastante, entonces no me va bien en deportes. Por tanto, si mi padre me alaba, entonces
no estudio bastante.
c) Si Juan es más alto que Pedro, entonces Marı́a es más baja que Juana. Marı́a no es más baja que Juana. Si Juan
y Luis tienen la misma estatura, entonces Juan es más alto que Pedro. Por tanto, Juan y Luis no tiene la misma
estatura.

FECHA DE ENTREGA 7-05-2018