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

371De nuevo se hace mella en el erde pnopesitienurn, pues,si inmediatamente tras la deposiLie se prepone la copulativa,se ha de negar. Sin embargo el motivo aducido por Lax es:Lanquam repugnans pesito et bono adminse eL opposite deposiLíeL eppesiLe bene negaLi. 319215 Lax 354a. El esquema formal puede representar de este modo el razona—miento. Sea: J{ Ilominoza case, C = Carrere, M Hez» moza masculuzaesse, E Malo respendoro, b = Berta:— 1) Dx (lix ——> Cx)— 2) -‘fVx (Mx & ‘Ex>]- 3) -‘C/ y -‘Pb— 4) ‘[Dx (Ph ——> Ex)- 5) Vx (Xx & ‘Cx)Aquí surgecesíen como lacíen.r 6) Vx (Xx & =x)~— 7) Vx (Xx &8) -‘Vx ([Lx & -‘Cx)9) Rb10) -‘Cb11) H/ & -‘Gb12) Vx (Xx & -‘Cx)3 Vx (Xx & -‘Cx)[Adm. Cdo.][Adm. Ncgo]y. 1.1E. 1 .[Cdc.& ‘Rbi [Ncgo[?]la dificultad, puesnegación desembocan-‘Cx)&Dx (Mx --> óx~/1,6]3D 2,43D 3,8Adj. 9.10*1? 11—--> Gx) [Adj.tanto la cenencontradic—[Adj.& flx (Xx/1,6]Esta contradicción a la que se llega por ambos ladosinsinúa que hay que realizar corrección en las respuestas quese han aportado anteriormente. Tal es la respuesta que se hadado a la línea 4) -‘[flx (Mx —-> Ex) & -‘R/] [Nego F.l.], queha de ser concedida. La razón es porque es seqaena. Y se veclaro que a partir de las tres primeras premisas se obtienela cutrta propuestaEn este paso se advierte la aplicación de la inferenciainmediata: Eh ——> Hh. En la derivación siguiente lo suponemostambién en la línea oculta 5’.- 1) Dx Cx)- 2) jVx (Mx & -‘Ex)]- 3) -‘Ch y -‘Eh4) Dx (Mx --> Ex)L5) Kb6) Mb7) Hb --> Ch8) Gb9) -‘Gb10) Gb & -‘Ch11) -‘Kb10) Dx (Mx --> Ex) &-‘Kb[Adm. Cdo.][Adm. Nego][Cdo. y.’.][NP 2][MP 5,5’][EC 1][MP 7,6][SD 3,5][Adj. 8,9][Abs. 5—10][Adj. 4—11]