double negative elimination oor Spaans

double negative elimination

Vertalings in die woordeboek Engels - Spaans

eliminación de la doble negación

inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula

regla en lógica proposicional

voorbeelde

Double negative elimination is a theorem of classical logic, but not of weaker logics such as intuitionistic logic and minimal logic.
La eliminación de la doble negación es un teorema de la lógica clásica, pero no de la lógica más débil, como la lógica intuicionista y la lógica mínima.

Secondary benefits, with positive effects on businesses, would be the elimination of double taxation and the negative economic consequences this entails as well as a reduction in uncertainty about tax compliance obligations.
Entre las ventajas secundarias, con efectos positivos también para las empresas, cabe citar la supresión de la doble imposición y de las consecuencias económicas negativas que conlleva, así como una reducción de la incertidumbre en cuanto al cumplimiento de las obligaciones tributarias.

26 In that regard, double taxation conventions are designed to eliminate or mitigate the negative effects on the functioning of the internal market resulting from the coexistence of national tax systems referred to in the preceding paragraph (Kerckhaert and Morres, paragraph 21, and Block, paragraph 29).
26 Debe señalarse, a este respecto, que los convenios para evitar la doble imposición sirven para eliminar o atenuar los efectos negativos para el funcionamiento del mercado interior que se derivan de la coexistencia de sistemas tributarios nacionales mencionada en el apartado anterior (sentencias, antes citadas, Kerckhaert y Morres, apartado 21, y Block, apartado 29).

21 It must be recalled, in that regard, that conventions preventing double taxation such as those envisaged in Article 293 EC are designed to eliminate or mitigate the negative effects on the functioning of the internal market resulting from the coexistence of national tax systems referred to in the preceding paragraph.
21 Hay que señalar, a este respecto, que los convenios para evitar la doble imposición, como los previstos en el artículo 293 CE sirven para eliminar o atenuar los efectos negativos para el funcionamiento del mercado interior que se derivan de la coexistencia de sistemas tributarios nacionales evocada en el apartado anterior.

44 In this respect, double taxation conventions such as those envisaged in Article 293 EC are designed to eliminate or mitigate the negative effects on the functioning of the internal market resulting from the coexistence of national tax systems referred to in the preceding paragraph (Kerckhaert and Morres, paragraph 21).
44 Hay que señalar, a este respecto, que los convenios para evitar la doble imposición, como los previstos en el artículo 293 CE, sirven para eliminar o atenuar los efectos negativos para el funcionamiento del mercado interior que se derivan de la coexistencia de sistemas tributarios nacionales evocada en el apartado anterior (sentencia Kerckhaert y Morres, antes citada, apartado 21).

29 In this respect, double taxation conventions such as those envisaged in Article 293 EC are designed to eliminate or mitigate the negative effects on the functioning of the internal market resulting from the coexistence of national tax systems referred to in the preceding paragraph (Kerckhaert and Morres, paragraph 21, and Columbus Container Services, paragraph 43).
29 Debe señalarse, a este respecto, que los convenios para evitar la doble imposición, como los previstos en el artículo 293 CE, sirven para eliminar o atenuar los efectos negativos para el funcionamiento del mercado interior que se derivan de la coexistencia de sistemas tributarios nacionales evocada en el apartado anterior (sentencias, antes citadas, Kerckhaert y Morres, apartado 21, y Columbus Container Services, apartado 44).

Just as that article was not intended to lay down a legal rule directly applicable as such, (17) its repeal does not affect the finding that the conclusion between two Member States of a convention avoiding double taxation promotes the establishment of the internal market, since the purpose of such an instrument is to eliminate or mitigate negative effects resulting from the exercise by those Member States of taxation powers in an uncoordinated manner which restricts, discourages or renders less attractive the exercise of the freedoms of movement provided for in the FEU Treaty.
En efecto, así como este artículo no tenía por objeto establecer una norma jurídica operativa como tal, (17) su derogación no afecta a la apreciación de que la celebración entre dos Estados miembros de un convenio para evitar la doble imposición favorece la realización del mercado interior, puesto que dicho instrumento tiene como finalidad eliminar o reducir los efectos negativos del ejercicio no coordinado de la potestad tributaria entre esos Estados miembros que restringen, disuaden o hacen menos atractivo el ejercicio de las libertades de circulación previstas en el Tratado FUE.

Contestants who finish Double Jeopardy! with $0 or a negative score are automatically eliminated from the game at that point and awarded the third place prize.
Los concursantes quienes acaban la "Double Jeopardy Round" con $0 o una puntuación negativa no se les permiten competir en la "Final Jeopardy Round".

Dragon Soul: Eliminates all positive state effects of all enemies, eliminates all negative effects of himself, applies double damage to himself, deactivates all recoveries of himself, Extra turn.
Alma de Dragón: Elimina todos los efectos de estado positivos de todos los enemigos, elimina todos los efectos negativos de si mismo, aplica daño doble a si mismo, desactiva todas las recuperaciones de si mismo, Turno extra.

Additionally, integers, shorts and longs can be declared as unsigned, this identifier eliminates the variable's ability to store negative values and doubles its capacity of positive values.
Además, los números enteros, shorts y longs, se pueden declarar como sin asignar, unsigned. Este identificador, elimina la capacidad de la variable, para guardar números negativos, y dobla su capacidad para almacenar números positivos.