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

280non epontot omnes alias regulas logicalos baberovenum in prepesitionibas inselabilibas, sicat sant iste, sci—licet, ex vero non seguí tun nsJ venam, ex impossíbilí seguí-Lun qaetilibet. (y las referentes a consequentia bona eLmala> ~En cuanto a las reglas que fundamentalmente valen, tantoparagicosreflexivasmedievalescomo fuera de ellas, se comprueba que los ló—conocían las leyes mas importantes de la ló--g ~cadeproposicionesy, p a rt i c u 1 a rmente, las referentes ace pu 1 ativas y disyuntivas, Las vemos frecuentemente empleadasen la presentación de las reglas por las que se rigen Obliga—ti ene s. He aquí las ma s importantesy las mas usadas:p & q --> p; p& q ——> q (Ley de Simplificación>p ——> p y q; qH~ & q> ——>-Ipvq) -->En le referenteen insolubles, trataremoslo tocante a determinadasp y q (LeydeAdición>np y nq> (Ley de De Siorgan>np & nq) (Ley de De Morgan)areglasgenerales,poste r íormente,conseq uen Li ae.que no son válidasy, en particular en¡Id iii): impessibile est aliquom docipí eL non docipicinca vnam eL candor» propositionor» in ceder» sonsa. 338Esta solucion es una consecuencia de la afirmación anterioren que se ha negado la posibilidad de dos contradicto--rias verdaderas simultáneamente. En la mente de Celaya, ah—qaem decipí significa dar el asentimiento a una proposiciónfalsa; por tanto, si fuera posible equivocarse y no equivo—carse respecto a la misma proposición, resultaría que esamisma proposición podría ser falsa y verdadera a la vez, loque implica flagrante contradicción.~ Juan de Celaya. Insolubilia..., fol.iiii.vb. Aplicaciones de estasreglas se pueden comprobar en los tratados de Celaya, Magna Exponí—bilia... y en Magno suppositiones...338 Juan de Celaya. Inselubihia..., fol. viva. Cfr. Gaspar Lax. Inselu—bihia. . . , fol. ii.ra.