Negace
From Wikipedia, the free encyclopedia
Remove ads
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í):
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′.
Pokud negujeme negaci výroku, dostáváme opět výrok. Tedy: ¬(¬A) = A.
Remove ads
Vlastnosti
Remove ads
Související články
Externí odkazy
Obrázky, zvuky či videa k tématu negace na Wikimedia Commons
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads