Negace

Negace, v jeho nejvíce základním smyslu, mění hodnotu pravdy sdělení k jeho opaku. To je operace potřebovaná hlavně v logice, matematicea gramatice.

V logice

V logice, logická negace je unární logický operátor to obrátí hodnotu pravdy jeho operand.

Popření sdělení p je psán různými způsoby:

• p (který je p s barem přes to);
• ~p;
• ¬p;
• Ne p;
• !p

To je čteno jak “to není případ to p”, nebo jednoduše “ne p”.

~p je pravdivý jestliže a jediný jestliže p je falešný. Například, jestliže p naznačuje sdělení “dnes je sobota”, pak jeho negace ~p je sdělení “dnes je ne sobota”.

V klasické logice, dvojitá negace znamená potvrzení; tj., sdělení p a ~ (~p) být logicky rovnocenný. V intuitionistic logice, nicméně, ~ ~p je slabší sdělení než p. Přesto, ~ ~ ~p a ~p být logicky ekvivalent dokonce i intuitionistically.

Logická negace může být definována v podmínkách jiných logických operací. Například, ~p moci být definován jak p a rarr; F, kde a rarr; je implikace materiálu a F je absolutní nepravda. Naopak, jeden může vymezit F jak p a ~p pro nějaký problém p, kde a je logická souvislost. Nápad tady je že nějaký rozpor je falešný. Zatímco tyto nápady pracují v obou klasická a intuitionistic logika, oni nepracují v Brazilské logice, kde rozpory nejsou nutně falešné. Ale v klasické logice, my dostaneme další identitu: p a rarr; q moci být definován jak ~p a nebo; q, kde a nebo; je logická disjunkce.

Algebraicky, logická negace odpovídá doplňku v Booleovské algebře (pro klasickou logiku) nebo Heyting algebra (pro logiku intuitionistic).

---

V gramatice

V gramatice, negace je proces, který se otočí affirmative sdělení (Já jsem mrož) do jeho popření opaku (Já nejsem mrož). Podstatná jména stejně jako slovesa mohou být gramaticky negoval, použitím záporu adjektivum (Není tam žádný mrož.) nebo zápor zájmeno (Nikdo je mrož.)

V Angličtině, negace pro většinu sloves jiný než být a mít, nebo slovesné fráze ve kterém jsou, mít nebo dělat už nastat, vyžaduje přepracovávat věty používat figurínu pomocné sloveso dělat, který sčítá málo k významu výrazu záporu, ale slouží jako místo připojit záporky ne, nebo jeho nakažená forma ' ' - n't ' \ ', k:

• Já mám mrože.
• Já nemám mrože. (vzácný, ale to je ještě možné negovat mít bez asistenta dělat.)
• Já nemám mrože. (nejvíce obyčejná cesta v současné angličtině.)

V Angličtině středa, částečka ne mohl být spojený s nějakým slovesem:

• Já vidím ne mrož.

V Moderní angličtině, tyto formy vypadly z použití a použití asistenta takový jak dělat nebo být je povinný ve většině případů:

• Já nevidím mrože.
• Já nevidím mrože.
• Já jsem neviděl mrože.

Zvědavě, sloveso dělat vyžaduje druhý příklad sám aby byl označený pro negaci:

• Mrož nedělá triky ne *Mrož dělá ne triky.

V angličtině, jak v nejvíce jiné Germánské jazyky, použití dvojích záporů jak gramatické zesilovací částice byli předtím v častém používání:

• My nemáme žádné mrože tady.

Prescriptivists použití zvažují toto použití dvojích záporů být chyba, a odsoudit to. To dělá rétorickou postavu litotes dvojznačný. To zůstane obyčejné v hovorové angličtině.

Jiné jazyky mají jednodušší formy negace; v Latině, jednoduchá negace je věc připočítání záporky non nebo ne ke slovesu. V Francouzštině, nejvíce základní forma negace slovesa zahrnuje připočítání circumflexion ne... pas k hlavnímu slovesu nebo jeho asistentovi; je meurs (“já umřu.”); je ne meurs pas (“já neumřu.”)