Categories

Prueba Logica 2

Prueba Logica 2

Esta es la segunda prueba lógica que realizamos, en la cual practicamos la formalización correcta de fbf en el lenguaje proposicional.

Ahora veamos la resolución de la prueba:
El domingo por la tarde se presenta un tanto aburrido. Tu madre insiste en que no debes salir porque no puedes relajar más el cuerpo y la mente, ambos atrofiados de no estudiar, además la tarde está lluviosa. Pero tu habilidad crece a medida que estudias lógica y le haces a tu madre el siguiente pacto “Voy al cine sólo si no llueve”. Tu madre, deduce que le quieres tender una trampa para salirte con la tuya y te propone lo siguiente: si de las siguientes sentencias encuentras las que son equivalentes y las que no, a la que acabas de decir, te dejo salir, pero como falles sólo una te quedas. Mira a ver ¡cómo se te presenta el domingo!

Ahora veamos la resolución de la prueba:

Voy al cine: ci
Llueve: ll
Voy al cine solo si no llueve
ci → ¬ll

Si no llueve voy al cine
¬ll → ci

No voy al cine a menos que no llueva
ci → ¬ll

llueve luego no voy al cine
ll → ¬ci

Es suficiente que llueva para no que vaya al cine
ll → ¬ci

Para que vaya al cine es necesario que no llueva
ci → ¬ll

Voy al cine luego llueve
ci → ll

Tenemos el siguiente Marco conceptual
Los delfines son inteligentes: in;
Los delfines son cabezotas : cb;
Los delfines son cariñosos :ca;

Intenta Formalizar con el lenguaje de proposiciones las siguientes sentencias:
1. “No es cierto que los delfines sean inteligentes o cabezotas”
¬(in v cb)
Con conjunción: ¬in ^ ¬cb
Con implicador: ¬(¬in → cb)

2. “Para que los delfines no sea cabezotas es suficiente con que sean inteligentes pero es necesario que sean cariñosos”
FBF Asociada:
(in → ¬cb) ^ (ca → ¬cb)

3. “Los delfines son inteligentes o cabezotas pero no ambas cosas; no obstante si no son inteligentes tampoco son cariñosos”
(in v ca) ^ ¬(in ^ ca) ^ (¬in → ¬ca)

4. “Para entrar en la piscina es necesario que no lleves toalla pero sí gorro, sin embargo es suficiente con que lleves bañador”
(¬to ∧ go → pi) ∧ (pi → ba)

7 replies on “Prueba Logica 2”

no entiendo naaa todos los ejercioc son de mala exprecion y no saben como hacer entender a los demas

no entiendo naaa todos los ejercioc son de mala exprecion y no saben como hacer entender a los demas

no entiendo naaa todos los ejercioc son de mala exprecion y no saben como hacer entender a los demas

Tu comentario está en espera de moderación.

esta pagina es una mirda te aconsejo q si vas a acer una oagina primero aprendas xq sta claro q ers un principiante de mi
erda

a mi me gustaron mucho los ejercicios, muy claros , aprendí un monton , se me aclaró el panorama , yo que estoy llevando lógica este mes en la uni y he dejado de estudair hace mucho tiempo.

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos necesarios están marcados *