Array ( [0] => 14705257 [id] => 14705257 [1] => cswiki [site] => cswiki [2] => Negace [uri] => Negace [3] => [img] => [4] => [day_avg] => [5] => [day_diff] => [6] => [day_last] => [7] => [day_prev_last] => [8] => [oai] => [9] => [is_good] => [10] => [object_type] => [11] => 0 [has_content] => 0 [12] => [oai_cs_optimisticky] => ) Array ( [0] => {{Různé významy|tento=logické operaci|druhý=[[psychoanalýza|psychoanalytickém]] pojmu|stránka=negace (obranný mechanismus)}} [1] => [[Logika|Logická]] '''negace''' (používá se pro ni symbol \neg nebo \mathrm{NOT}, popř. se označuje [[Pruh (symbol)|pruhem]] nad proměnnou) je [[Unární operace|unární]] [[logická operace]], která vezme [[Výrok (logika)|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. [2] => Pro vstup A vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení): [3] => [4] => {| class="wikitable" [5] => ! A !! \neg A [6] => |- align=center [7] => | 0 || 1 [8] => |- align=center [9] => | 1 || 0 [10] => |} [11] => [12] => == Negace výroku == [13] => Negace výroku (graficky '''¬''', '''′'''; textově '''non)''' je v [[Matematická logika|matematické logice]] opačná pravdivostní hodnota k [[výrok]]u. 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′. [14] => [15] => {| class="wikitable" [16] => |+ [17] => ! Výrok [18] => ! Negace výroku [19] => ! Vysvětlení [20] => |- [21] => |V [22] => |¬V [23] => |Obecné označení výroku a jeho negace. [24] => |- [25] => |- [26] => |Jsem editor Wikipedie. [27] => |Nejsem editor Wikipedie. [28] => |Negace může být i ''Není pravda, že jsem editor Wikipedie.'' [29] => |- [30] => |Haf! [31] => | [32] => |Nejedná se o [[výrok (logika)|výrok]], tudíž ho nelze negovat. [33] => |- [34] => |3 + 2 = 5 [35] => |3 + 2 ≠ 5 [36] => | [37] => |- [38] => |3 + 2 = 6 [39] => |3 + 2 ≠ 6 [40] => |Výrok je vše co se dá označit za pravdivé či nepravdivé. V tomto případě 3 + 2 = 6, je nepravdivý výrok. Pokud ho negujeme, zapíšeme 3 + 2 ≠ 6. [41] => |- [42] => |} [43] => [44] => Pokud [[negace|negujeme]] negaci výroku, dostáváme opět výrok. Tedy: ¬(¬A) = A. [45] => [46] => == Vlastnosti == [47] => :\neg (\neg A) = A [48] => [49] => :\neg (A \land B) = \neg A \lor \neg B [50] => [51] => :\neg (A \lor B) = \neg A \land \neg B [52] => [53] => :\neg (A \implies B) = A \land \neg B [54] => [55] => :\neg (A \leftrightarrow B) = A \underline \lor B ([[exkluzivní disjunkce]]) [56] => [57] => == Související články == [58] => * [[Booleova algebra]] [59] => * [[Zákon o vyloučení třetího]] [60] => [61] => == Externí odkazy == [62] => * {{Commonscat}} [63] => [64] => {{Pahýl}} [65] => {{Autoritní data}} [66] => [67] => {{Portály|Matematika}} [68] => [69] => [[Kategorie:Logické operace]] [] => )
good wiki

Negace

Logická negace (používá se pro ni symbol \neg nebo \mathrm{NOT}, 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.

More about us

About

Expert Team

Vivamus eget neque lacus. Pellentesque egauris ex.

Award winning agency

Lorem ipsum, dolor sit amet consectetur elitorceat .

10 Year Exp.

Pellen tesque eget, mauris lorem iupsum neque lacus.

You might be interested in

,'Logika','Pruh (symbol)','Unární operace','logická operace','Výrok (logika)','Matematická logika','výrok','negace','exkluzivní disjunkce','Booleova algebra','Zákon o vyloučení třetího','Kategorie:Logické operace'

Logika

Negace

Výrok

Výrok je v lingvistice označení pro sekvenci slov, která má větnou strukturu, je možné ji přeformulovat do jednotného tvrzení a má význam.