logica

46
Curso de inducción Ejercicios Lógica

Upload: emil01

Post on 15-Nov-2015

10 views

Category:

Documents


3 download

DESCRIPTION

tablas de verdad

TRANSCRIPT

Presentacin de PowerPoint

Curso de induccinEjercicios LgicaNo vi la pelcula, pero le la novela:.Ni vi la pelcula ni le la novela:...No es cierto que viese la pelcula y leyese la novela:..Vi la pelcula aunque no le la novela:.No me gusta trasnochar ni madrugar:..O tu ests equivocado o es falsa la noticia que has ledo:Si no estuvieras loca, no habras venido aqu: .Llueve y o bien nieva o sopla el viento:\wedge \vee \land \neg \to \leftrightarrow \vdash1. Simboliza las siguientes proposiciones:

O est lloviendo y nevando o est soplando el viento:....Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles:Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura:..Si viene en tren, llegar antes de las seis. Si viene en coche, llegar antes de las seis. Luego, tanto si viene en tren como si viene en coche, llegar antes de las seis:2. Simboliza:Si p, entonces q:..No es el caso que p y q:.................p solamente si q y no r:...............p o no q:..Si p y q, entonces no-r o s:..............Si p, entonces q, y si q, entonces p:........... Si p y q, entonces r, p Luego si q, entonces r:

Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:3. Formaliza las siguientes proposiciones: No es cierto que no me guste bailar. [p: me gusta bailar]. Me gusta bailar y leer libros de ciencia ficcin. [p: me gusta bailar. q: me gusta leer libros de ciencia ficcin]Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos. [p: los gatos de mi hermana sueltan pelo. q: me gusta acariciar los gatos ]..Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre. [p: ver un marciano con mis propios ojos. q: creer en los extraterrestres ]

Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energmeno. [p: salir a dar un paseo. q: estudiar como un energmeno]..Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como una regadera y dejara que me internaran en un psiquitrico. [p: los elefantes vuelan. q: los elefantes tocan el acorden. r: estar loco. s: internar en un psiquitrico ]..Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar. [p: ir de vacaciones. q: no hacer nada. r: tener tiempo. s: ir a trabajar ]..4. Relacionar cada proposicin con su formalizacin:5A3B1C2D6E7F4A5. Relaciona cada proposicin con su formalizacin:1A3B4C2D5E6. Relaciona cada proposicin con su formalizacin:2A4B1C3D7. Relaciona cada proposicin con su formalizacin:3A4B1C2D8. Relaciona cada proposicin con su formalizacin:3A5B2C4D1E9. Formaliza las siguientes proposiciones:Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habra ningn problema. Pero si los hechos son brbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no podramos considerarnos dignos de nuestro tiempo.u: ser digno de nuestro tiempo.p: justificar hechos por su tradicin.q: ser inofensivo.

q: ser brbaro. (= no ser inofensivo)r: ser respetuoso con los seres vivos.

s: ser respetuoso con el medio ambiente.11. Formaliza las siguientes proposiciones y confecciona su tabla de verdad:12. Construye las tablas de verdad de:12. Construye las tablas de verdad de:12. Construye las tablas de verdad de:12. Construye las tablas de verdad de:13. Construye las tablas de verdad e indica si se trata de tautologas, contradiccioneso indeterminaciones.13. Construye las tablas de verdad e indica si se trata de tautologas, contradiccioneso indeterminaciones.13. Construye las tablas de verdad e indica si se trata de tautologas, contradiccioneso indeterminaciones.Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedasparalizado del susto, entonces no puedes sino apelar a su bondad y as no ser engullido.Por lo tanto, si un animal fabuloso se enfada, tendrs que apelar a su bondad o sersengullido.14. Formaliza el siguiente enunciado. Cuntas variables tiene la tabla? Es una tautologa?p = se enfada un animal fabulosoq= quedarse paralizado del sustor = apelar a su bondads = ser engullidoEs una tautologa?15. Confecciona las tablas de verdad de las siguientes proposiciones. Son tautologas? Pueden ser probadas?15. Confecciona las tablas de verdad de las siguientes proposiciones. Son tautologas? Pueden ser probadas?15. Confecciona las tablas de verdad de las siguientes proposiciones. Son tautologas? Pueden ser probadas?16. Formaliza los siguientes argumentos:Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizar mis sueos.He aceptado el trabajo y he dejado de pintar.Por lo tanto, no realizar mis sueos.p = aceptar el trabajo.q = dejar de pintar.r = realizar mis sueos.16. Es tautologas?16. Formaliza los siguientes argumentos:b. Si vamos a Asia, entonces llegaremos hasta la India.Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi.Si vamos a India entonces, si visitamos Varanasi podremos ver el Ganges.Por lo tanto, si vamos a Asia veremos el Ganges.p = ir a Asia.q = llegar hasta la India.r = visitar Varanasi.s = ver el Ganges.17. Formaliza el siguiente argumento.Todo nmero entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, entonces es divisible por ellos.Pero si un nmero entero es primo, no es compuesto, aunque es divisible por s mismo y por la unidad, y consiguientemente, tambin divisible por nmeros primos. Por tanto, todo nmero entero es divisible por nmeros primos.p = ser primo.q = ser compuesto.r = producto de factores primos.s = ser divisible por factores primos.t = ser divisible por s mismo.u = ser divisible por la unidad.18. Halla las tablas de verdad de los siguientes argumentos.18. Halla las tablas de verdad de los siguientes argumentos.18. Halla las tablas de verdad de los siguientes argumentos.19. Formaliza los siguientes enunciados, indicando qu enunciado simple corresponde a cada variable que uses.:Si no hay ruidos y no ests sordo, entonces debes orme. ...Ir al cine o al teatro, si me invitas. En el caso de que venga Cipriano, vendrn Fulgencia y Eustaquia. Si hay guerra, no crecer el paro ni la inflacin.

*Ntese que esto NO es lgicamente equivalente a

Juan debe declarar y ser sincero, o no debe declarar. 33Federico se ir a las Fiji o a las Seychelles si y slo si le toca la lotera y no se arruina en la ruleta. .. El Hombre Lobo es un invento, y si lo mismo ocurre con Pap Noel, entonces los nios son engaados. *Ntese que esto NO es lgicamente equivalente a Cuando la bolsa baja mucho, entonces es conveniente comprar; y cuando la bolsa sube mucho, tambin es conveniente comprar. .Aumentar la inflacin y disminuir el paro, slo si se fabrica moneda o hay guerra. ..

20. Formaliza los siguientes argumentos, indicando qu enunciado simple corresponde a cada variable que uses, y escribindolos en forma condicional con la conclusin como consecuente. Halla las tablas de verdad de los argumentos que tengan hasta cuatro variables.Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir. Si nos quedamos a cenar o a dormir, no iremos maana al concierto. Pero s iremos maana al concierto. As pues, la tormenta no contina.

Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = 0. x = 1. Por consiguiente, w = 0

Si un tringulo tiene tres ngulos, un cuadrado tiene cuatro ngulos rectos. Un tringulo tiene tres ngulos y su suma vale dos ngulos rectos. Si los rombos tienen cuatro ngulos rectos, los cuadrados no tienen cuatro ngulos rectos. Por tanto los rombos no tienen cuatro ngulos rectos.q: un cuadrado tiene cuatro ngulos rectos

p: un tringulo tiene tres ngulos

r: su suma vale dos ngulos rectos

s: los rombos tienen cuatro ngulos rectos

Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida est llena de frustraciones y no es un camino de rosas. Si se es feliz, no se puede tener todo. Por consiguiente, la vida est llena de frustraciones.

q: se puede ser dichosop: se puede ser ricor: la vida est llena de frustracioness: es un camino de rosasLa vida no tiene cosas as de fuertes o yo te puedo contar cmo es una llama por dentro. Si yo te puedo contar cmo es una llama por dentro, entonces pienso entregarte mi tiempo y pienso entregarte mi fe. No es cierto que piense entregarte mi tiempo y piense entregarte mi fe. Por lo tanto, la vida no tiene cosas as de fuertes.

q: contar cmo es una llama por dentrop: tener la vida cosas as de fuertes.r: entregarte mi tiempos: entregarte mi feAprobar lgica, si Dios quiere. Aprobar lgica si y slo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios, as que Dios no quiere que apruebe lgica.Si el euro est fuerte, el petrleo est barato pero las exportaciones resultan caras. Si Europa se endeuda o la economa no crece, el petrleo no estar barato. La economa crece si y slo si ni las exportaciones resultan caras ni la inflacin aumenta. Por tanto, si la inflacin aumenta, el euro no est fuerte.Habr inflacin, a menos que se moderen los precios y los salarios. Siempre que se moderan los salarios pero no los precios, si el Gobierno no interviene ocurre que el consumo interno disminuye y la economa se ralentiza. Por tanto, cuando no se moderan los precios, es necesario que el Gobierno intervenga para que la economa no se ralentice.http://en.wikipedia.org/wiki/List_of_logic_symbols\wedge\vee\land\neg\to\leftrightarrow\vdash\equiv