V. 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 pierden tanto Juana como Kenneth. Gertrudis gana. Por lo tanto, pierde Juana (G: Gertrudis gana; H: Heriberto gana; J: Juana gana; K: Kenneth pierde).

1- (G v O) (J . K) 2- G J 3- G v O -------- ---- tomamos 2 por Adicion. 4- J . K ---------- tomamos 1 y 3 por Modus Ponens 5- J ---------------- tomamos 4 por Simplificacion.

2. Si ingresa Adams, entonces crecerá el prestigio social del club; si Baker 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á …ver más…

Si Jacobson va a la reunión, se presentará un informe completo y la presentación de un informe completo implica que se iniciará una investigación, entonces 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, entonces algunos miembros comparecerán ante los tribunales. Pero si Jacobson no va a la reunión y no se inicia investigación alguna, entonces 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 que comparecer ante los tribunales; D: la organización se desintegrará rápidamente).

1- (J C) . (J E) 2- C I 3- [(J C) . (C I)] [ (J v I) v (J v I)] 4- (J . I) T 5- (J . I) D / T v D 6- J C -------------------------- ------ tomamos 1 por Simplificación. 7- (J C) . (C I) ----------------- tomamos 6,2 por Conjunción 8- (J v I) v (J v I) ---------------- tomamos 3 por Modus Ponens 9- [(J . I) T] . [(J . I) D] ---- tomamos 4,5 por Conjuncion. 10- T v D ----------------------------- tomamos 8,9 por Dilema Constructivo

7. Si Ana está presente, entonces Bill