Negace

From Wikipedia, the free encyclopedia

Remove ads
Tento článek je o logické operaci. O psychoanalytickém pojmu pojednává článek negace (obranný mechanismus).

Logická negace (používá se pro ni symbol nebo , popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda. Pro vstup vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):

Další informace , ...
Remove ads

Negace výroku

Negace výroku (graficky ¬, ; textově non) je v matematické logice opačná pravdivostní hodnota k výroku. Negace výroku se označuje symbolem ¬. Tento symbol se umísťuje před označení výroku. Negace výroku se dá též zapsat textově non či graficky ′. Pokud je tedy výrok označen jako A, negace takového výroku může být ¬A, nonA či A′.

Další informace Výrok, Vysvětlení ...

Pokud negujeme negaci výroku, dostáváme opět výrok. Tedy: ¬(¬A) = A.

Remove ads

Vlastnosti

(exkluzivní disjunkce)
Remove ads

Související články

Externí odkazy

  • Obrázky, zvuky či videa k tématu negace na Wikimedia Commons
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads