La comprobación de la admisibilidad

UNIVERSIDAD DEL MAGDALENA

Valor 40 PUNTOS

NOMBRE: _________________________________________CODIGO: ______________

NOMBRE: _________________________________________CODIGO: ______________

NOMBRE: _________________________________________CODIGO: ______________

COMPRUEBE LA VALIDEZ

1. 2.

(1)k→¬p P. (1) ¬w→(h^¬t) P.

(2)¬b→k P. (2)s v m P.

(3)¬s P. (3)¬w P.

(4)¬bvs P. (4)h→¬s P.

¬P C (5)¬m v q P.

~t ^ q C

3.

(1) a v b P.

(2) (¬m^b)→w P.

(3)¬a P.

(4)m→¬t P.

(5)(t^~a)→l P.

(6)t P.

w^l C.

4. Si el plomo debe ser un componente de los juguetes de los niños, entonces no es perjudicial para la salud. El plomo es perjudicial para la salud o no tiene efectos cancerígenos. Esta comprobado que el plomo tiene efectos cancerígenos. La conclusión final de este conjunto de premisas es:

a. el plomo debe ser un componente de los juguetes de los niños.

b. el plomo o es perjudicial para la salud.

c. el plomo no debe ser un componente de los juguetes de los niños.

d. no se concluir nada.

5. Si llueve, se inundarán las calles y no iremos al trabajo. Hay energía eléctrica o no podremos ver televisión. Por otra parte, si se inundan las calles, entonces no habrá energía eléctrica. De seguro que lloverá. También se cumplirá que: no iremos al trabajo o veremos televisión.

a. Inconsistente

b. Consistente.

6. En el siguiente conjunto de premisas:

p v q

p→r

s

¬p^q→t

r→¬s

Las reglas utilizadas para obtener la conclusión final son :

tollendo tollens, ponendo ponens, tollendo ponens,

...