modus ponens

Traductor
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.
But, there is no reason to restrict Modus Ponens to such statements.	Pero, no hay razón para restringir Modus Ponens a tales proposiciones.
It looks sort of like Modus Ponens, except that it's backwards.	Es parecido al Modus Ponens, excepto que va hacia atrás.
We could get this by Modus Ponens if we knew that pr were true.	Podríamos hacer esto usando Modus Ponens si supiéramos que pr es verdadera.
Also, the proof shows you that the argument is just an elaborate version of Modus Ponens.	Además, la prueba demuestra que el argumento es solo una versión elaborada de Modus Ponens.
Looking at Modus Ponens, we see that we can deduce B = r~s from these lines.	Por usar el Modus Ponens, podemos deducir B = r~s desde estas líneas.
Modus Ponens and Modus Tollens are, perhaps, the most commonly used rules of inference.	Modus Ponens y Modus Tollens, tal vez, son los que más utilizan las reglas de inferencia.
To get the fourth line we simply apply Modus Ponens to the second and third lines.	Para obtener al cuarta línea simplemente aplicamos el Modus Ponens para la segunda y la tercer líneas.
The Modus Ponens rule of inference says that, if bothandappear on a list of statements known to be true, then we can add.	La regla de Modus Ponens de inferencia dice, si ambosy aparece en una lista de preposiciones conocidas verdaderas, entonces podemos agregar.
Apply Modus Ponens to statements 1 and 3 in the following list of premises (that is, statements that we take to be true).	Aplica Modus Ponens a las proposiciones 1 y 3 en la siguiente lista de premisas (es decir, las proposiciones que tomamos para ser verdaderas).
Modus Ponens tells us that, if A→B appears on the list, and if A also appears on the list, then we can add B to the list of true statements.	Modus Ponens nos dice que, si A→B aparece en al lista, y si A también aparece en la lista, entonces podemos agregar B a la lista de proposiciones verdaderas.