Traduzione per "negaatio" a inglese

Negaatio

sostantivo

• negation

Esempi di traduzione.

negation sostantivo

Vallankumous on työvoiman negaatio ja riemun vahvistaminen.
The revolution is the negation of labour and the affirmation of joy.

Kielitiede kurssit ovat pragmatics, negaatio, ja opetussuunnitelman ja oppimäärän muotoilu.
Linguistics courses include pragmatics, negation, and curriculum and syllabus design.

Ei ollut negaatiota elämässäni enää, eikä yhtään ovea auki sieluuni sitä satuttaakseen.
There was no negation in my life anymore

Ensimmäinen on negaatio, toinen on kertolasku, kolmas on lisäys.
The first is negation, the second is multiplication, the third is addition.

Tällä tavoin todellinen Proudhon todistaa, miten oikeus laajeni kristillisessä käsityksessä roomalaisen oikeuden negaation kautta, miten valloitusoikeuden negaatio johti kuntain oikeuteen ja miten koko feodaalioikeuden negaatio, Ranskan vallankumous, johti nykyiseen, edellistä laajempaan oikeuden tilaan.
Thus the real Proudhon proves how the negation of Roman law led to the widening of right in the Christian conception, the negation of the right of conquest to the right of the communes and the negation of the whole feudal law by the French Revolution to the present more comprehensive system of law.

on negaatio-operaattori, ja muuttaa sen epätoden todeksi (tai päinvastoin).
is a negation operator that inverts false to true (or vice versa.

Oikeutetusti vaatii käytännöllinen poliittinen puolue Saksassa siis filosofian negaatiota.
Hence, it is with good reason that the practical political party in Germany demands the negation of philosophy.

Negaatio Vahingonkorvauksen esitetty edellä ovat keskeisiä tekijöitä perusteella kaupat välillämme.
The negation of damages set forth above are fundamental elements of the basis of the bargain between us.

On mahdollista puolustaa työttömyyttä, joka ei ole työn negaatio, vaan sen väliaikainen keskeytyminen.
It is possible to assert non-work, not the negation of work but its temporary suspension.

Hänen tutkimusaiheitaan ovat negaation ja kysymysten ilmaisu maailman kielissä sekä kielten kompleksisuuden problematiikka.
His main research topics include the expression of negation and questions in the world’s languages, as we

Kukin literaali on joko yksittäinen propositiomuuttuja tai sellaisen negaatio.
In propositional calculus a literal is simply a propositional variable or its negation.

Negatiiviset luvut sisältävät jokaisen luonnollisen luvun vastaluvun eli negaation.
The negative forms of each copula are given in the section on negation.

Bertrand Russellin määrättyjen kuvausten teorian mukaan negaation käytöllä yksiköllisessä lauseessa on laajempi ja kapeampi sovellusala: erotamme lauseet ”joku S ei ole P” (jossa negaation sovellusala on ”kapea”) ja ”ei ole niin, että 'joku S on P'” (jossa negaation sovellusala on ”laaja”).
According to Bertrand Russell's Theory of Descriptions, the negation operator in a singular sentence can take either wide or narrow scope: we distinguish between "some S is not P" (where negation takes "narrow scope") and "it is not the case that 'some S is P'" (where negation takes "wide scope").

Logiikassa puolestaan tilde voi tarkoittaa negaatiota: ~p ’ei p’.
In written mathematical logic, the tilde represents negation: "~p" means "not p", where "p" is a proposition.

Vastaavat logiikan operaatiot ovat konjunktio, disjunktio, implikaatio, ekvivalenssi, sekä negaatio eli kielto.
The corresponding logical operations are known, respectively, as conjunction, disjunction, material conditional, biconditional, and negation.

Kielen tasolla mielen ominaisuudet ovat fyysisten ominaisuuksien loogisia negaatioita (aristoteelisessa merkityksessä).
At the language level, the mental properties are logical negations (in the Aristotelian sense) of the physical properties.

NOT gate tai inverter, käytetään suomalaista nimitystä ei) on looginen portti, joka vastaa loogista negaatiota ja siten sanaa ”ei”.
In digital logic, an inverter or NOT gate is a logic gate which implements logical negation.

Eksklusiivisen disjunktion negaatio on lauseiden looginen ekvivalenssi, joka on tosi, jos ja vain jos molemmilla lauseilla on sama totuusarvo.
The negation of XOR is logical biconditional, which outputs true only when both inputs are the same.

1900-luvun alkupuolella muotoutunut formaali logiikka vaatii vähimmillään myös negaation sekä kvantifioitujen muuttujien käyttöä.
The formal logic that emerged early in the 20th century also requires, at minimum, unary negation and quantified variables ranging over some universe of discourse.

Leibniz määritteli keskeisiä ominaisuuksia, joita nykyään kutsutaan sellaisilla nimillä kuin konjunktio, disjunktio, negaatio, identiteetti, osajoukko ja tyhjä joukko.
Leibniz enunciated the principal properties of what we now call conjunction, disjunction, negation, identity, set inclusion, and the empty set.