EJERCICIOS DE LOGICA

. Construya una prueba formal de validez para cada uno de los siguientes argumentos, usando las abreviaturas sugeridas en cada caso.
1. Si gana Gertrudis o Heriberto, entonces [= ent.] pierden tanto Juana como Kenneth. Gertrudis gana. Luego, pierde Juana (G: Gertrudis gana, H: Heriberto gana, J: Juana gana, K: Kenneth pierde)
2. Si ingresa Adams, ent. crecerá el prestigio social del club; siBaker ingresa, la posición financiera del club será más segura. O bien Adams o Baker ingresarán. Si se incrementa el prestigio social, ingresará Baker y si la posición financiera se hace más segura, ent. ingresará Wilson. Por lo tanto, o bien Baker o Wilson ingresarán (A: ingresa Adams, S: el prestigio social del club crecerá, B: ingresará Baker, F: la posición financiera del club será mássegura, W: Wilson ingresará)
3. Si Brown recibió el cable, ent. tomó el avión; y si tomó el avión, ent. no llegará tarde a la reunión. Si el cable tenía una dirección equivocada, ent. Brown llegará tarde a la reunión. O bien Brown recibió el cable, o bien el cable tenía una dirección equivocada. Por lo tanto, o bien Brown tomó el avión o bien llegará tarde a la reunión (R: Brown recibió el cable, T:Brown llegará tarde a la reunión, A: Brown tomó el avión, E:el cable tenía una dirección equivocada)
4. Si Neville compra el terreno, se construirá un edificio para oficinas; mientras que si Peyton compra el terreno, lo venderá de nuevo rápidamente. Si Rivers compra el terreno, ent. se construirá una bodega; y si se construye una bodega, Thompson ofrecerá alquilarla. O Neville o Rivers compranel terreno. Por lo tanto, se construirá un edificio para oficinas o una bodega (N: Neville compra el terreno, O: se construirá un edificio para oficinas, P: Peyton compra el terreno, V: el terreno se venderá de nuevo rápidamente, R: Rivers compra el terreno, B: se construirá una bodega, T: Thompson ofrecerá alquilar la bodega)

5. Si sigue lloviendo, ent. el río crecerá. Si sigue lloviendo y elrío crece, ent. el puente será arrastrado por las aguas. Si la continuación de la lluvia hace que el puente sea arrastrado por las aguas, ent. no será suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por lo tanto, los ingenieros han cometido un error (C: continúa lloviendo, R: el río crece, P: elpuente es arrastrado por las aguas, S: un solo camino es suficiente para toda la ciudad, E: los ingenieros han cometido un error)

6. Si Jacobson va a la reunión, se presentará un informe completo; pero si Jacobson no va a la reunión, ent. será necesario hacer una elección especial. Si se presenta un informe completo, se iniciará una investigación. Si Jacobson va a la reunión, se presentará uninforme completo y la presentación de un informe completo implica que se iniciará una investigación; ent. o bien Jacobson va a la reunión y se inicia una investigación, o bien Jacobson no va a la reunión y no se inicia investigación alguna. Si Jacobson va a la reunión y se inicia una investigación, algunos miembros comparecerán ante los tribunales. Pero si Jacobson no va a la reunión y no se iniciainvestigación alguna, ent. la organización se desintegrará rápidamente. Por lo tanto, o bien algunos miembros de la organización tendrán que comparecer ante los tribunales o bien la organización se desintegrará rápidamente (J: Jacobson va a la reunión, C: se presentará un informe completo, E: es necesaria una elección especial, I: se inicia una investigación, T: algunos miembros tienen quecomparecer ante los tribunales, D: la organización se desintegraría rápidamente)

7. Si Ana está presente, ent. Bill estará presente. Si Ana y Bill están presentes los dos, ent. Carlos o Doris serán electos. Si o bien Carlos o Doris son electos, ent. Elmer no dominará realmente el club. Si la presencia de Ana implica que Elmer no dominará realmente el club, ent. Florencia será el nuevo presidente....