Logica Matematica
Enviado por luisalimon • 6 de Abril de 2015 • 413 Palabras (2 Páginas) • 388 Visitas
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,
...