copulativo

Popularity

500+ learners.

Hay dos géneros de lógicas paraconsistentes, a saber: las copulativas y las no copulativas.	There are two kinds of paraconsistent logics, viz. copulative and noncopulative ones.
Las lógicas copulativas entronizan la regla de adjunción.	Copulative logics enforce the adjunction rule.
Así, las lógicas copulativas paraconsistentes abandonan el modus ponens o bien el principio de Cornubia.	So, copulative paraconsistent logics give up modus ponens or relinquish the Cornubia principle.
De esos principios lo que viene abandonado por todas las lógicas paraconsistentes copulativas que conservan el modus ponens es SD.	Of those principles what is relinquished by all such paraconsistent copulative logics as keep the rule of modus ponens is D.S.
Así pues, las lógicas paraconsistentes no copulativas pueden conservar el principio de Cornubia y el modus ponens, abandonando en cambio la regla de adjunción y bloqueando así la deducción de cualquier cosa a partir de un par de premisas mutuamente contradictorias.	Noncopulative paraconsistent logics may keep the Cornubia principle and modus ponens. They waive the adjunction rule and so block the deduction of everything from a pair of mutually contradictory premises—although not from a selfcontradictory formula, i.e. from an antinomy ┌p & not-p┐.