28 ALGEBRA

lr) u 3.10 TP I l) F 2,10 PP

12\ tnu 9,ll LC t2) G 4,tt TP

Luego la conclusión es t n U r 13) DnG 9,12 LC
Luego la conclusión es D n G

Ejemplo: Demostrar:x*3 v x>2. Ejemplo: Demostrar: I<yn y * 4

l) x*2*5 v 2x=6 l) x>yvx<4
2) x:3 + x'F2= 5 2) (x<4vy<4)+(x<yny I 4)
3) 2x-2:8+2x+6 3) x>y-)x:4
4) 2x-2:8 4) x+4
5) 2x+6 3,4 PP 5) x/y 3,4 TT
6) x+2+5 1,5 TP 6) x<4 1,5 TP

7) x+3 2,6 TT 7) x<4vy<4 6 LA

8) x+3vx>2 7 LA 8) x<yny*4 2,7 PP

Luegolaconclusiónesx +3vx>2 Luegolaconclusiónesx <y ny * 4

Ejemplo: Demostrar la validez del siguiente razonamiento:

Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio
partir el coche de Andrés. Si Andrés dice la verdad entonces Juan no vio
partir el coche de Andrés. Andrés dice la verdad o estaba en el edificio en
el momento del crimen. El reloj está adelantado. Por tanto Andrés estaba
en el edificio en el momento del crimen.

Sean las proposiciones

p: "el reloj está adelantado"

q: " Juan llegó antes de las diez"

r: " Juan vio partir el coche de Andrés"

s: "Andrés dice la verdad"

t: "Andrés estaba en el edificio en el momento del crimen"