Suscríbete a DeepL Pro para poder traducir archivos de mayor tamaño.

Más información disponible en www.DeepL.com/pro.

EJERCICI
O

b) I( P-+ e) * (y v e))

(d) IN- " + g) ( v e))

(e archivo° e)^ (- - eJ) --(e v-))

9. Dé una prueba formal de validez para cada una de las siguientes

formas de argumentación (en algunas será mucho más fácil una prueba
condicional o indirecta).

(b) p

(d) p -+ g

(e)

(h) p -+ q
 134 CH APTER 6

(k) (p& 9) -' (P (- ^ -)) (i) p

10. Exprese el siguiente argumento s en forma simbólica y determine

si son válidos

(a) El mayordomo, el cocinero o el chófer mataron al barón. Si el

cocinero mató al bastón, entonces el guiso estaba envenenado, y si el
el chófer mató al barón, había una bomba en el coche, el estofado
no estaba envenenado, y el mayordomo no mató al barón.
Por lo tanto, el chófer mató al barón.
(b) II el sujeto no ha entendido las instrucciones o no ha hn-
ished I eading the sentence, then he has pressed the wrong button
o no ha contestado. Si no contesta, el temporizador
no se ha detenido El sujeto ha pulsado el botón correcto y el
temporizador se ha detenido Por lo tanto, el sujeto ha entendido
las instrucciones.
(c) Si la presión es de 1 atm, el agua hierve sólo si la temperatura es de
al menos 100° C. Si la presión es de 1 atm, entonces el agua
hierve.
ft ozen sólo Si el I r-inrir-r nt.rirr- i s nt más Jo TQ Alexsitre i* I
atm y la temperatura es como mínimo de 100° C o como
máximo de 0°C. El agua no hierve. Por lo tanto, la temperatura
es de
rn -t 0°U

(d) Si soy honesto, entonces soy ingenuo... O soy honesto o' ingenuo,
o bien Sam tenía razón y ese vendedor de revistas es un estafador. I
aLii no ingenuo, y mat inagazme vendedor es cei'iain1y un estafador,

Por lo tanto, Sam tenía razón

(e) Un determinado segmento consonántico, si aparece inicialmente, es
prevocálico,
y si no es inicial, es sorda. Si es prevocálica o sorda, es continua
y estridente, Si es continua, entonces si
es estridente, es tensoSi es tenso, entonces si ocurre
inicialmente, es
es palatalizadoPor lo tanto, el segmento es palatalizado y sordo,

11. Establece el conjunto S -- (p, (p V g), (p V p), (p Vp),

(p & (g V q)),
Sea la relación fi == ( ( z, p } | z C S y y C S y z w y}