Construya una prueba formal de validez para cada uno de los siguientes argumentos, usando las abreviaturas sugeridas

en cada caso. 1. Si el seor Jimnez es el vecino del guardafrenos, entonces las ganancias anuales del seor Jimnez son exactamente divisibles entre tres. Si las ganancias del seor Jimnez son exactamente divisibles entre tres, entonces 20.000 pesos son exactamente divisibles entre tres. Pero 20.000 pesos no son exactamente divisibles entre tres. Si el seor Ruiz es el vecino del guardafrenos, entonces vive exactamente a la mitad del camino entre Duitama y Chiquinquir. Si el seor Ruiz vive en Duitama, entonces no vive a la mitad del camino entre Duitama y Chiquinquir. El seor Ruiz vive en Duitama. Si Jimnez no es el vecino del guardafrenos, entonces Ruiz o Snchez es el vecino del guardafrenos. Por lo tanto, el seor Snchez es el vecino del guardafrenos. (J: El seor Jimnez es el vecino del guardafrenos, E: las ganancias del seor Jimnez son exactamente divisibles entre tres; T: 20.000 pesos son exactamente divisibles entre tres. R: El seor Ruiz es el vecino del guardafrenos. H: el seor Ruiz vive a la mitad del camino entre Chiquinquir y Duitama. D: El seor Ruiz vive en Duitama. S: El seor Snchez es el vecino del guardafrenos). 2. Si el seor Snchez es el vecino del guardafrenos, entonces el seor Snchez vive a la mitad del camino entre Duitama y Chiquinquir. Si el seor Snchez vive a mitad del camino entre Duitama y Chiquinquir, entonces no vive en Chiquinquir. El seor Snchez es el vecino del guardafrenos. Si el seor Ruiz vive en Duitama, entonces no vive en Chiquinquir. El seor Ruiz vive en Duitama. El seor Snchez vive en Chiquinquir o bien el seor Ruiz o el seor Jimnez vive en Chiquinquir. Si el seor Jimnez vive en Chiquinquir, entonces el guardafrenos es Jimnez. Por lo tanto, el guardafrenos es Jimnez. (S: el seor Snchez es el vecino del guardafrenos. W: El seor Snchez vive a la mitad del camino entre Duitama y Chiquinquir. L: el seor Snchez vive en Chiquinquir. D: El seor Ruiz vive en Duitama. I: El seor Ruiz vive en Chiquinquir. C: El seor Jimnez vive en Chiquinquir. B: El guardafrenos es el seor Jimnez) 3. Si Snchez una vez derrot al fogonero en el billar, entonces Snchez no es el fogonero. Snchez derrot una vez al fogonero en el billar. Si el guardafrenos es Jimnez, entonces Jimnez no es el fogonero. EL guardafrenos es Jimnez. Si Snchez no es el fogonero y Jimnez no es el fogonero, entonces Ruiz es el fogonero. Si el guardafrenos es Jimnez y Ruiz es el fogonero, entonces Snchez es el maquinista. Por lo tanto, Snchez es el maquinista. (U: Snchez derrot una vez al fogonero en el billar. M: Snchez es el fogonero. G: El guardafrenos es Jimnez. N: Jimnez es el fogonero. R: Ruiz es el fogonero. S: Snchez es el maquinista)