Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
double negation
Definitie
Vertaling van "double negation" in Spaans
Definitie
This is what I call the double negation of modernity.
Es lo que yo llamo la doble negación de la modernidad.
The double negation introduction rule may be written in sequent notation
La regla de introducción de la doble negación puede escribirse en la notación subsiguiente
When another negative word occurs with pas, a double negation interpretation usually arises, but this construction is criticised.
Cuando otra palabra negativa se presenta junto a pas, la oración se interpreta como una doble negación.
Together with double negation elimination one may infer our originally formulated rule, namely that anything follows from an absurdity.
Junto a la eliminación de la doble negación, se puede inferir la regla originalmente formulada, a saber, que cualquier cosa que se desprende de un absurdo.
Working with the idea of a "medium over medium", what emerges is a double negation of the image.
Al trabajar con la idea de "soporte sobre soporte" lo que surge es una doble negación de la imagen.
We immediately recognize a double negation ~(~q).
Podemos reconocer inmediatamente una doble negación ~(~q).
Moreover, in the propositional case, a sentence is classically provable if its double negation is intuitionistically provable.
Es más, en el caso proposicional, una oración es demostrable de forma clásica, si su doble negación es demostrable de manera intuicionista.
If the representation of a body evokes narcissistic feelings, if "representation implicitly articulates the artist's attitude towards their own body"(22), then the mask would be a double negation of the creative subject.
Si la representación de un cuerpo evoca un sentido narcisista, es decir, "la representación articula implícitamente la propia actitud del artista hacia su cuerpo"(22), la máscara sería una doble negación del sujeto creador.
Recall that p ~(~p) is a tautology, called Double Negation.
Recuerda que p ~(~p) es una tautología, llamada Doble Negación.
Double negation introduction is a theorem of both intuitionistic logic and minimal logic, as is A ⊢ A {\displaystyle eg eg eg A\vdash eg A}.
La introducción de la doble negación es un teorema tanto de la lógica intuicionista como de la lógica mínima, como es A ⊢ A {\displaystyle eg eg eg A\vdash eg A}.
This is called double negation.
A esto se le llama doble negación.
Syntactically, (1) and (2) are derivable from each other via the rules of contraposition and double negation.
Sintácticamente, (1) y (2) son derivables cada una de la otra a través de la regla de contraposición y doble negación.
The double negation elimination rule may be written as
La regla de eliminación de la doble negación se puede escribir como
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor double negation in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 43. Exact: 37. Verstreken tijd: 52 ms.
