trabajos

Taller nº 1: Lógica proposicional.
Corporación unificada nacional de educación superior “CUN”.
Curso: Lógica y pensamiento matemático.
Cód. Grupo: 36305(Fuente:http://www.uco.es/users/ma1fegan/2012-2013/dpm/Ejercicios/Hoja-1-logicaproposicional-recuperacion.pdf)
Entregar este taller diligenciado a mano, el día 5 de septiembre de 2014 en la sesión
de lógica y pensamiento matemático.
1.Utilice las reglas de transformación para simplificar las siguientes
fórmulas de la lógica proposicional:
a) p ˄ ( q ˅ ¬ q)
b) ¬ (p ˅ q) ˄ q  q ˅ (¬ q ˄ ¬¬ p)
Nota: se deben indicar las reglas que sehan utilizado en cada
paso
2. Utilice las tablas de verdad para determinar si las siguientes fórmulas
son tautologías, contradicciones o se pueden satisfacer:
a) (p  ¬ q ) ↔ (¬ p ˅ ¬ q)
b) (¬ p˅ q) ↔ ¬( p  q ) c)
¬ (p ˄ ¬ q )  r
3. Exprese los enunciados de los siguientes silogismos mediante fórmulas
de la lógica de proposiciones, indicando expresamente el significado
de cadavariable proposicional, y compruebe que el razonamiento es
correcto utilizando las tablas de verdad.
i.

Si te gusta la naturaleza entonces paseas por el bosque. Si paseas
por el bosque, puedesencontrar setas. Te gusta la naturaleza. Por tanto,
puedes encontrar setas.
Si estás enfermo entonces no puedes donar sangre. Si no puedes donar
sangre entonces no puedes donar plaquetas. Puedes donarplaquetas. Por
tanto, no estás enfermo.
No suspendes cuando estudias y asistes a clases. Si te gusta tu carrera
entonces estudias. Si te gusta tu carrera entonces asistes a clase. Te gusta
tu carrera.Por tanto, no suspendes.
Los apaches salen a explorar la pradera cuando es temporada seca y
no están en guerra. Los apaches no están en guerra si “fuman la pipa de
la paz”. Los apaches fuman lapipa de la paz cuando su jefe es “Halcón
alegre”. Es la temporada seca. El jefe de los apaches es “Halcón alegre”.
Por tanto, los apaches salen a explorar la pradera.

ii.
iii.
iv.

4....