Ejercicios de logica matematica

 Traducir  Traducir los siguientes razonamientos en en símbolos lógicos y dar una deducción de la conclusión a partir de las premisas. 1. Cada cosa en esta lección es una u na parte de la Lógica. Cada persona que puede resolver problemas en una parte de la Lógica es un genio. Carolina es una persona que puede resolver problemas sobre la primera deducción y está en esta lección. Por tanto, Carolina es un genio. . !angostas pueden matar a las cobras. !ontgomery no puede matar a C"arlie. Por tanto, si C"arlie es una cobra entonces !ontgomery no es una mangosta. #. Todo aquel que quiera a $orge escogerá a Pedro para su partido. Pedro no es amigo de nadie que sea amigo de $uan. Luis no escogerá a nadie que no sea amigo de Carlos para su partido. Por tanto, si Carlos es amigo de $uan, entonces Luis no quiere a  $orge. %. &ólo un tonto alimentaría a un oso salva'e. Cristina alimenta a (icolás, pero no es tonta. Por tanto, (icolás no es un oso salva'e.

 Traducir  Traducir los siguientes razonamientos a símbolos lógicos y dar una deducción de la conclusión a partir de las premisas. 1. La "ermana de la madre de cada muc"ac"o es su tía.  $uan es un muc"ac"o y !arta es la "ermana "ermana de )elena.  Todos  Todos los tíos de $uan $uan le mandan regalo de de cumplea*os.

Por tanto, si )elena es la madre de $uan, !arta le manda regalo de cumplea*os. . Los coroneles tienen graduación superior a la de los sargentos y los sargentos tienen mayor graduación que los soldados.  Todo aquel que tiene menos graduación que otro tiene que recibir órdenes de +l.  Todo aquel que tiene más graduación que otro que a su vez tiene más graduación que un tercero, tiene más graduación que el tercero. López es un coronel. P+rez es un sargento y ómez es un soldado. Por tanto, ómez "a de recibir órdenes de López. #. Para cada - e y si - es mayor que y, y no es mayor que -. Por tanto, uno no es mayor que uno. /ndicación0 /ntentar una demostración indirecta. %. Para cada - e y, - es igual o mayor que y o y es igual o mayor que -. Por tanto, uno es igual o mayor que uno.

 Traducirlos siguientes razonamientos en símbolos lógicos. 2espu+s deducir las conclusiones de las premisas. a. Cada miembro de nuestra clase o traba'a en la 3unción o en la preparación de +sta. Los que traba'an en la 3unción están ensayando. Los que traba'an en la preparación de +sta están pintando las decoraciones. Por tanto, si Pablo es un miembro de nuestra clase, entonces Pablo o está ensayando o está pintando las decoraciones. b. Cada c"ico es más 'oven que su padre.

Carlos es un c"ico que no es más 'oven que 4rancisco.  Todo el que est+ casado con 5irginia es el padre de Carlos. Por tanto, 4rancisco no está casado con 5irginia. c. Cada ni*a de la 3amilia 6on está en el cuadro de "onor. Luisa es una ni*a de la 3amilia 6on. 7l que recibió el premio de poesía no estaba en el cuadro de "onor. Por tanto, Luisa no recibió el premio de poesía.