Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EJERCICIOS PROPUESTOS:
Formalizar y luego determinar la validez de las siguientes inferencias: 5. Si llueve entonces Rosa usará paraguas. Rosa no usó paraguas. Por lo tanto, no
llueve.
1. Luis es ingeniero o contador. Pero no es contador. Por lo tanto, Luis es ingeniero.
Solución:
Solución:
Formalizamos y realizamos la tabla de verdad para la evaluación.
Formalizamos y realizamos la tabla de verdad para la evaluación.
p q
V V
V F
F V
F F
2. Si es verano entonces hace calor. Sucede que hace calor. Por lo tanto, es
6. Juan es abogado o médico. Pero no es médico. Por lo tanto, es abogado.
verano. 7. Un número es primo o es divisible por dos. Ocurre que un número no es primo.
Solución: Por lo tanto, no es divisible por dos.
Formalizamos y realizamos la tabla de verdad para la evaluación. 8. Si vas al billar entonces gastarás dinero. Sucede que vas al billar. Por lo tanto
p q gastarás dinero.
V V 9. Si silva el viento entonces las aves cantan. Ocurre que silva el viento. Por lo tanto,
V F las aves cantan
10. Si Luis está aquejado entonces será internado. Pero Luis no está aquejado. Por
F V
lo tanto, no será internado.
F F 11. Si estudia entonces gana la beca. Si gana la beca entonces viaja a EE.UU. Por lo
tanto, si estudia entonces viaja a EE.UU.
3. Si las pistas están mojadas entonces ocurren los accidentes. Pero, no ocurren
12. José canta o baila. Pero si no canta entonces baila. Por lo tanto, José no baila.
accidentes. Por lo tanto, las pistas no están mojadas.
13. Un número es par o impar. Pero no es par. Por lo tanto, es impar
Solución:
14. Mary está enferma entonces será hospitalizada. Ocurre que Mary está enferma.
Formalizamos y realizamos la tabla de verdad para la evaluación. Por lo tanto, será hospitalizada.
TAREA
1. Si vive entonces respira. Ocurre que vive. Por lo tanto, respira.
2. Juan es abogado o médico. Pero no es médico. Por lo tanto, es abogado.
3. Un número es primo o es divisible por dos. Ocurre que un número no es primo.
Por lo tanto, no es divisible por dos.