u~iyfrsjdad compjjute1~se be madrid 11 - Biblioteca Complutense

243quia prima pans oías est posita eL concessa eL socunda seguí—tan ox pesita caza illís disianctíais bono cencessís. 223Lax se apresura a afirmar que tal solución es posible eneste orden de propuesta, pero que en un orden diverso el resultadotambién hubiera variado:EL ex isLa solatieno patet quod si alíe ordíne prepenan—tur illo disíanctiuo cure ihla copulatiua, sic qaed illa copa—latiaa non vI timo proponatur, debebit negari illa que y] timeprepone Lar, quomadmedum eL copala Li ua ante ípsamn preposí ta 224222 En un intento do seguir más fácilmente este razonamiento, expresandeleen lenguaje formalizado, podría resultar del siguiente modo(siendo 1-! beminem osse, R = Romo esse, A alb¿zm esse, a = Tu,c = Antichnistus). La prepuesta discutida es la copulativa prosentadaen último lugar: (lx (Hí ——> Rx) & Pc. Se trata do revisarla respuesta dada a esta copulativa, puesto que la propuesta posteriorPc no deja alternativa posible de respuesta coherente. Se dis—cute en detalle la inconsistencia de su negación, si se mantiene lanegación de la copulativa. Empleo la notación de la derivación propuestapor Manuel Garrido. Lógica Simbólica... Se ha de recordarque en plena demostración está empleándose como inferencia inmediata,válida por su mismo contenido: Tu es albas, ergo Tu os heme.Es decir es válido el paso inmediato en estas concreciones: Ac ——>lic, e bien, Aa ——> Ha:223 Lax 234b.- 1) flx (Xx --> lix)— 2) -‘Ra y Ac— 3) Aa y Nc4)/la—-> Ra EGí5) Xc-—> lic ECl6) Aa7) ¡la MP [Aa —-> Ha]8> Ra MP 4,79>RavlicAdSZ10)lic11) lic MP 5,1012) Ravlic Adíl13) Ra y lic Cas. 3,6—9,10—12-‘Ra~14) lic SU 13,14Z16)Ac17> lIc MP [Ac ——>18) lic MP 5.17Hc]19) lic Cas. 2,14—15,16—1820) flx(Rx —-> lix) & lic Adj. 1,19224 Lax 235a. Tanto -‘Ra y Ac, como Aa y Xc, concedidos tras la negaciónde la copulativa flx (Xx ——> lix) & lic, conducirían a la afirmaciónde lic y, por tanto a palmaria inconsistencia.