42 ALGEBRA

3. B-+s 3. r -+t
4. q-+r 4. p-+A
5. -A-+s 5. p -+B

77. a) Demostrar: x<6 b) Demostrar: x>4

l. x>yv x<6 l. x>y v y:3
2. x>y+x>4 2. x>4-+yr'l
3. x>4 -)x:5 3. x>y+x>4
4. x<6+x:5 4. x:y+yll
5. (x:5vz>x)+y<z 5. x >y v x= y
6. x>y-+y *z 6. y:3 -+ y>l

Demostrar la validez de los siguientes razonamientos:

78. Si ta ballena es un mamífero entonces toma oxígeno del aire. Si toma su oxígeno
del aire, entonces no necesita branquias. La ballena es un mamífero y habita en
el océano. Por tanto, habita en el océano y no necesita branquias.

79. Si la enmienda no fue aprobada entonces la constitución queda como estaba. Si

la constitución queda como estaba, entonces no podemos añadir nuevos

miembros al comité, Podemos añadir nuevos miembros al comité o el informe

se retrasará un mes. Pero el informe no se retrasará un mes, Por tanto, la
enmienda fue aprobada.

80. Negar las siguientes proposiciones:

a) Vx: p(x)v-q(x): b) lx/p(x)v-q(x)

c) Vx: p(x) -+ q (x) ; b) lx / p(x) e - q (x)