Lógica proposicional/Deducciones directas/Evaluación

Plantilla:Título lección En cada uno de los siguientes ejercicios es necesario identificar las afirmaciones, expresarlas de forma simbólica, identificar las premisas y la conclusión y escribirlas como proposiciones compuestas definidas en términos de las afirmaciones. Finalmente se deben organizar en una tabla de deducción y utilizar las reglas de inferencia y las equivalencias lógicas para demostrar que la conclusión es una consecuencia lógica de las premisas.

Ejercicio #1

Si x es mayor que p o y es mayor que p, entonces z es mayor que t. x es mayor que p. Por tanto z es mayor que t.

Ejercicio #2

María estudiará este trimestre. Si estudia, sus notas serán mejores. Si sus notas son mejores, su expediente académico mejorará. Por lo tanto, su expediente académico mejorará.

Ejercicio #3

Si el mayordomo estaba trabajando la noche del crimen, es sospechoso. Si no estaba trabajando la noche del crimen, entonces la víctima no fue envenenada. El detective a cargo del caso encontró a su tercer hijo encerrado en un armario y descartó al mayordomo como sospechoso. Por lo tanto la víctima no fue envenenada.

Ejercicio #4

Para contener la inflación el gobierno debe disminuir los gastos. Si no hay despidos en el sector público, no habrá una disminución en los gastos del gobierno. O se contiene la inflación o se devaluarán los depósitos de los bancos. Los depósitos de los bancos no se han devaluado, por lo tanto se despidieron empleados públicos.

Ejercicio #5

Si voy a la carrera de autos mi esposa se enojará. Si Carlos juega cartas toda la noche su esposa se enojará. Si mi esposa o la esposa de Carlos se enojan llamarán a su abogada. La abogada no ha recibido llamadas de nuestras esposas por lo tanto ni yo fui a las carreras ni Carlos jugó cartas.