Traducción

■■■■■■■■■■■■■■■■■■■■■■■■■■

Ejemplos

Usa modus ponens o modus tollens para sacar la conclución apropiada.	Use either modus ponens or modus tollens to draw the appropriate conclusion.
A esta regla también le llaman modus ponens.	This rule is also named modus ponens.
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.
V Una vez más, modus ponens dice que, si sabemos que p implica q, y sabemos que p es verdadera, entonces concluimos que q también es verdadera.	Once more, modus ponens says that, if we know that p implies q, and we know that p is indeed true, then we can conclude that q is also true.
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┐.
En esta forma, Modus Ponens es nuestra primer regla de inferencia.	In this form, Modus Ponens is our first rule of inference.
Podemos obtener ambas a y b individualmente usando Modus Ponens.	We can get both a and b individually using Modus Ponens.
Podemos obtener qr utilizando las dos primeras líneas y Modus Ponens.	We can get qr using the first two lines and Modus Ponens.
Pero, no hay razón para restringir Modus Ponens a tales proposiciones.	But, there is no reason to restrict Modus Ponens to such statements.
Es parecido al Modus Ponens, excepto que va hacia atrás.	It looks sort of like Modus Ponens, except that it's backwards.