Demuestre la proposicién T a partir de las proposiciones (PVQ)- R, (RVS)-T, SVP, AS. Solucién. Se trabaja en forma vertical y se indica la regla utilizada 1. (PVQ)—-R Premisa 2. (RVS)3T Premisa 3. SVP Premisa 4. AS Premisa be Silogismo disyuntivo a 3 y 4. 6. PVQ Adicién a 5. 7. R Separacion a 1 y 6. 8 RVS Adicién a 7. 9 oT Separacion a 2 y 8. Asf, la conclusién T es valida a partir de las premisas dadas. aConsidere el siguiente razonamiento y establezca su vali- dez: Si no compro el boleto del tren 0 no me gusta el arte moderno, entonces me quedaré en la ciudad y le obsequiaré flores a mi esposa. Si me hnbiera quedado en la ciudad, habria asistido a la recepeién. Pero no asisti a la recepcién. Por lo tanto, compré el boleto del tren. Solucién. Bn primer lugar, es necesario convertir este razonamiento en forma simbélica, asignando a cada proposicin una letra, ast: P: compro el boleto del tren Q: me gusta el arte moderno R= me quedaré en la ciudad $+ le obsequiaré flores a mi esposa T: asisto a la recepeién Con lo cual el argumento se puede escribir simbélicamente como: (GP V7Q) + (RAS) ROT -T P Se utiliza el simbolo <. para escribir la conclusi6n; este se lee “por lo tanto”, Para verificar la validez del argumento anterior, observe que 1. (APV-Q) (RAS) Premisa 2. ROT Premisa 3-5 Premisa 4. AR MT a2y3. 5. ARV-S Adi, a4. 6. (RAS) DMa5. 7. AGP V-Q) MT aly6. & PAQ DM y DN a7. 9 P Simp. a 8. de donde se comprueba la validez del argumento, .