Traducción
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
Palabra por palabra
sin traducción directa |
Ejemplos
Use either modus ponens or modus tollens to draw the appropriate conclusion. | Usa modus ponens o modus tollens para sacar la conclución apropiada. |
This rule is also named modus ponens. | A esta regla también le llaman modus ponens. |
So, copulative paraconsistent logics give up modus ponens or relinquish the Cornubia principle. | Así, las lógicas copulativas paraconsistentes abandonan el modus ponens o bien el principio de Cornubia. |
Of those principles what is relinquished by all such paraconsistent copulative logics as keep the rule of modus ponens is D.S. | De esos principios lo que viene abandonado por todas las lógicas paraconsistentes copulativas que conservan el modus ponens es SD. |
We see that this is just an application of modus ponens, so the argument is valid (even though the conclusion is false!) | Vemos que esto es soló una aplicación de Modus Ponens, por lo que el argumento es valído (¡Auque la conclusión es falsa!) |
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. | 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. |
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┐. | 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. |
In this form, Modus Ponens is our first rule of inference. | En esta forma, Modus Ponens es nuestra primer regla de inferencia. |
We can get both a and b individually using Modus Ponens. | Podemos obtener ambas a y b individualmente usando Modus Ponens. |
We can get qr using the first two lines and Modus Ponens. | Podemos obtener qr utilizando las dos primeras líneas y Modus Ponens. |
Palabra al azar
¡Tirar los dados y aprender una palabra nueva ahora!
¿Quieres aprender inglés?
¡Aprende inglés gratis!
