double negation

Thus we have to use double negation for such cases.

Stąd musimy użyć podwójnej negacji do takich walizek.

Literary language, therefore, is a double negation, both of the thing and the idea.

Język artystyczny, dlatego, jest podwójną negacją, obiema z rzeczy i pomysłem.

Double negation elimination is challenged, but for unrelated reasons.

Podwójna negacja eliminacja jest zakwestionowana, gdyby nie niepowiązane powody.

For the theorem of propositional logic based on the same concept, see double negation.

Dla twierdzenia zdaniowej logiki na podstawie takiego samego pojęcia, widzieć podwójną negację.

The double negation elimination rule may be written as:

Podwójna zasada negacji eliminacyjna może być napisana jak:

One shared feature seems to be double negation:

Jedna wspólna cecha wydaje się być podwójną negacją:

Double negation is uncommon in other West Germanic languages.

Podwójna negacja jest rzadka w innym Zachodzie germańskie języki.

Both French and San origins have been suggested for double negation in Afrikaans.

Zarówno francuski jak i San pochodzenia zostały zasugerowane dla podwójnej negacji w afrikaans.

Baker noted that double negation may provide an acceptable context for positive polarity items:

Baker zauważył, że podwójna negacja może zapewniać dopuszczalny kontekst pozytywnym rzeczom różnicy:

This principle is commonly called "the principle of double negation" (PM, pp.

Ta zasada jest nazywana "zasadą podwójnej negacji" powszechnie (po południu, pp.

Double negation.

Podwójna negacja.

The double negation introduction rule is:

Podwójna zasada negacji wprowadzenia jest:

Together with double negation elimination one may infer our originally formulated rule, namely that anything follows from an absurdity.

Razem z podwójną negacją eliminacja jeden może wnioskować nasza zasada początkowo sformułowana, mianowicie że coś wynika z absurdalności.

A negative pronoun demands a negative predicate, resulting in the so-called double negation.

Ujemny zaimek wymaga ujemnego orzeczenia, powodując tak zwaną podwójną negację.

The main difference is that Kriol allows double negation, so that some conjunctions are used differently.

Główna różnica jest że Kriol pozwala negacji podwojonej stawki, aby jakieś połączenia są używane inaczej.

When another negative word occurs with pas, a double negation interpretation usually arises, but this construction is criticised. "

Gdy inne ujemne słowo trafia się z tatami, podwójna interpretacja negacji zazwyczaj nasuwa się ale ta budowa jest skrytykowana. "

The double negation law can be seen by complementing the shading in the third diagram for x, which shades the x circle.

Podwójne prawo negacji może być zobaczone przez uzupełnianie cieni w trzecim diagramie dla x, który ocienia koło x.

Another approach is to reject disjunction introduction but keep disjunctive syllogism, transitivity, and double negation elimination.

Inne podejście ma odrzucić wprowadzenie dysjunkcji ale trzymać dysjunktywny sylogizm, przechodniość, i podwójna negacja eliminacja.

Accordingly, negation in classical logic satisfies the law of double negation: A is equivalent to A.

Stosownie, negacja w klasycznej logice zaspokaja prawo podwójnej negacji: odpowiada.

Similar to some dialectal English, Bavarian employs both single and double negation, with the latter denoting special emphasis.

Podobny do jakiegoś dialektalnego angielskiego, Bawarczyk stosuje obydwa jedna i podwójna negacja, z drugim oznaczającym specjalny nacisk.

In intuitionistic logic, only the former is a theorem: double negation can be introduced, but it cannot be eliminated.

W intuitionistic logika, tylko dawny jest twierdzeniem: podwójna negacja może być przedstawiona ale to nie może być wyeliminowane.

It maps each classical formula φ to its double negation φ.

To sporządza mapę każdej klasycznej formuły? do jego podwójnej negacji?.

Propositions 2.12 and 2.14, "double negation":

Propozycje 2.12 i 2.14, "podwójna negacja":

One obtains the rules for intuitionistic negation the same way but by excluding double negation elimination.

Jeden nabywa zasad dla intuitionistic negacja taka sama droga ale przez wykluczanie podwójnej negacji eliminacja.

For the use of double negations or similar as understatements ("not unappealing", "not bad", etc.) see litotes.

Dla wykorzystania podwójnych negacji albo podobny jako niedopowiedzenia ("nie nieprzyjemny", "nie najgorszy", itd.) widzieć litotę.