Negace: Porovnání verzí

Smazaný obsah Přidaný obsah
značky: editace z mobilu editace z mobilního webu
úprava vstupní definice dle en wiki
Řádek 2:
{{Různé významy|tento=logické operaci|druhý=[[psychoanalýza|psychoanalytickém]] pojmu|stránka=negace (obranný mechanismus)}}
{{Upravit|Úvodní věta je velmi nesrozumitelná a nepřesná}}
[[Logika|Logická]] '''negace''' (používá se pro ni symbol <math>\neg</math> nebo <math>\mathrm{NOT}</math>, popř. se označuje pruhem nad proměnnou) je [[Unární operace|unární]] [[logická operace]], jejíž hodnota je ''nepravda'', [[Ekvivalence (logika)|právě když]] první vstupní hodnota je ''pravda'' a naopak.
 
 
== Definice ==
[[Logika|Logická]] '''negace''' (používá se pro ni symbol <math>\neg</math> nebo <math>\mathrm{NOT}</math>, popř. se označuje pruhem nad proměnnou) je [[Unární operace|unární]] [[logická operace]], jejížkterá hodnotavezme jevýrok "''nepravdap''" do dalšího výroku "ne '' p''", [[Ekvivalencepsáno (logika)|právě''¬p'', když]]který prvníje vstupnísamostatně hodnotainterpretován jako pravda, když ''p'' je lež nebo jako lež, když ''pravdap'' aje naopakpravda.
Negace je opět výrok, který vznikne předřazením "není pravda, že" před původní výrok. Tím se mění pravdivostní hodnota výroku.
Pro vstup <math>A</math> vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):