Este documento presenta una serie de enunciados condicionales que deben ser formalizados utilizando los conectores lógicos "si...entonces", "o...o", "solo si", "a menos que", etc. También incluye un razonamiento que debe ser esquematizado utilizando las reglas de la inferencia. El objetivo es expresar claramente las relaciones lógicas subyacentes en cada uno de los enunciados y razonamientos presentados.
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como DOC, PDF, TXT o lea en línea desde Scribd
Formalización de Enunciados en Lógica Proposicional
Este documento presenta una serie de enunciados condicionales que deben ser formalizados utilizando los conectores lógicos "si...entonces", "o...o", "solo si", "a menos que", etc. También incluye un razonamiento que debe ser esquematizado utilizando las reglas de la inferencia. El objetivo es expresar claramente las relaciones lógicas subyacentes en cada uno de los enunciados y razonamientos presentados.
Descripción original:
Título original
Formalización de enunciados en lógica proposicional
Este documento presenta una serie de enunciados condicionales que deben ser formalizados utilizando los conectores lógicos "si...entonces", "o...o", "solo si", "a menos que", etc. También incluye un razonamiento que debe ser esquematizado utilizando las reglas de la inferencia. El objetivo es expresar claramente las relaciones lógicas subyacentes en cada uno de los enunciados y razonamientos presentados.
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como DOC, PDF, TXT o lea en línea desde Scribd
Descargar como doc, pdf o txt
0%(1)0% encontró este documento útil (1 voto)
2K vistas2 páginas
Formalización de Enunciados en Lógica Proposicional
Este documento presenta una serie de enunciados condicionales que deben ser formalizados utilizando los conectores lógicos "si...entonces", "o...o", "solo si", "a menos que", etc. También incluye un razonamiento que debe ser esquematizado utilizando las reglas de la inferencia. El objetivo es expresar claramente las relaciones lógicas subyacentes en cada uno de los enunciados y razonamientos presentados.
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como DOC, PDF, TXT o lea en línea desde Scribd
Descargar como doc, pdf o txt
Está en la página 1de 2
Formaliza los siguientes enunciados
1. He venido a golpes de terror.
2. No es verdad que el sol no sea una estrella. 3. No llueve, pero si llueve se pierde la cosecha. 4. Si una sustancia orgánica se descompone, sus componentes se transforman en abono y fertilizan el suelo. 5. O sus deberes están terminados, o si no lo están los hará por la noche. 6. O llegamos allí antes u otro recibirá el empleo. 7. Si este material no es duro, entonces no está compuesto de cristales de cuarzo. 8. Ni quiero ni voy. 9. Si compras este vestido o te lo regalan, puedes ponértelo e ir a la fiesta. 10.No sé, mas barrunto nuestra perdición. 11.No existes, pero si existieras te maldeciría de tal manera que tu cielo temblaría con el fuego del infierno. 12.Hoy no se fía, mañana tampoco. 13.Cuando lloro no me salen lágrimas. 14.Sólo sangraré si me caigo y no voy protegido. 15.Como me inviten, voy. 16.No es el caso de que saltes y andes a la vez; luego, si saltas no andas. 17.Si no crees en Dios pero blasfemas, te estás contradiciendo. 18.Si eres licenciado, no puede ser que no sepas leer ni escribir. 19.No creo en lo que dices, sin embargo sigo confiando en ti. 20.Siempre que empiezo a jugar no sé cuándo acabaré. 21.Únicamente acudirá a la cita si vamos tú y yo. 22.Sobrelleva uno el ser malo, mas no el parecer ridículo. 23.Ni hace frío ni hiela; por tanto, no es invierno. 24.De saber ornitología, no puede ser que viera un pájaro y no te dijera su nombre. 25.Como no te gusta este vestido ni aquél, dejas de ir a la fiesta. 26.No tengo dinero, pero si lo tuviera, podría realizar un curso de diseño industrial u otro relacionado con el mismo tema. 27.Cuando uno carece de algo y sufre por ello, únicamente dejará de sufrir si lo posee. 28.Si no es verdad lo que dices, entonces te volveré a dirigir la palabra únicamente en el caso de que te retractes. 29.Es falso que no te escuche. 30.No puedo dormir cuando llegan los exámenes. 31.Si traicionas a los amigos y no eres leal ni piadoso, entonces conseguirás el imperio aunque no la gloria. 32.Se reconocerá tu valía profesional o tu interés por el trabajo, sólo si manifiestas públicamente tus méritos o gozas del favor del poder. 33.Puedo leer exclusivamente si no hay ruido en mi casa y los que están conmigo se callan o se marchan. 34.En caso de que me den la beca y la acepte, te lo comunicaré. 35.Me entristezco cuando te miro y no me miras. 36.No es rojo ni negro, pero me gusta mucho. 37. Siempre que te vas él no llora, pero gimotea. 38.Ella sonríe mientras él balbucea; así pues, presagio una discusión. 39.Basta que se lo pidas para que no lo haga. 40.Año de nieves, año de bienes. 41.Si no tienes lápiz, pero ya sabes leer y escribir, puedes dejar marcado el número en algún lugar del camino y hacerlo con tus pequeñas garras. 42.No quiero que te quedes solo si vienes. 43.Aunque te vayas pronto y no hables, él no aceptará tu presencia. 44.Ya que insistes, te contaré lo ocurrido e informarás de la actitud que mantuvo y de su comportamiento. 45. NOTA : en esta ocasión no se trata de un enunciado, sino de un razonamiento y deberás indicar el correspondiente esquema de inferencia. No es el caso de que Zanco Panco sepa numismática o domine el tema de los etruscos. Si no sabe numismática, no ha podido traducir el libro Etruscos colosales. Sin dominar el tema, tampoco ha podido escribirlo. Resulta claro pues, que no puede ser que Zanco Panco haya traducido o escrito el libro.