modus ponens

Traductor
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.
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.
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.
Podríamos hacer esto usando Modus Ponens si supiéramos que pr es verdadera.	We could get this by Modus Ponens if we knew that pr were true.
Además, la prueba demuestra que el argumento es solo una versión elaborada de Modus Ponens.	Also, the proof shows you that the argument is just an elaborate version of Modus Ponens.
Por usar el Modus Ponens, podemos deducir B = r~s desde estas líneas.	Looking at Modus Ponens, we see that we can deduce B = r~s from these lines.
Modus Ponens y Modus Tollens, tal vez, son los que más utilizan las reglas de inferencia.	Modus Ponens and Modus Tollens are, perhaps, the most commonly used rules of inference.
Para obtener al cuarta línea simplemente aplicamos el Modus Ponens para la segunda y la tercer líneas.	To get the fourth line we simply apply Modus Ponens to the second and third lines.
La regla de Modus Ponens de inferencia dice, si ambosy aparece en una lista de preposiciones conocidas verdaderas, entonces podemos agregar.	The Modus Ponens rule of inference says that, if bothandappear on a list of statements known to be true, then we can add.
Aplica Modus Ponens a las proposiciones 1 y 3 en la siguiente lista de premisas (es decir, las proposiciones que tomamos para ser verdaderas).	Apply Modus Ponens to statements 1 and 3 in the following list of premises (that is, statements that we take to be true).
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!)	We see that this is just an application of modus ponens, so the argument is valid (even though the conclusion is false!)
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.	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.