Negazione (matematica): differenze tra le versioni

Naviga nella cronologia in modo interattivo

Contenuto cancellato Contenuto aggiunto

In linea

Versione attuale delle 14:48, 25 giu 2024

In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.

Definizione

Data una proposizione p si ha che ¬p è falsa se p è vera, ed è vera se p è falsa. La tabella di verità della negazione è la seguente:

$p$	$\neg p$
F	V
V	F

Notazione

Per indicare la negazione di una proposizione p si scrive, equivalentemente:

$\neg p$

~ $p$

${\bar {p}}$

$!p$

$p'$

Altri progetti

Wikizionario contiene il lemma di dizionario «negazione»
Wikimedia Commons contiene immagini o altri file sulla negazione

Collegamenti esterni

Negazione, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
negazione, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
Negazióne, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
negazióne, su sapere.it, De Agostini.
(EN) negation / negation (altra versione), su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Laurence R. Horn e Heinrich Wansing, Negation, su Stanford Encyclopedia of Philosophy.
(EN) Eric W. Weisstein, Negation, su MathWorld, Wolfram Research.
(EN) Negation, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Controllo di autorità	GND (DE) 4137553-1

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

@@ Riga 1: / Riga 1: @@
+{{S|logica}}
-{{nota disambigua|descrizione=il gruppo musicale|titolo=[[Negazione (gruppo musicale)|Negazione]]}}{{stub matematica}}
+[[File:Venn10.svg|miniatura|[[Diagramma di Venn]] della negazione]]
-La '''negazione''' è un'operazione logica [[Operazione unaria|unaria]] che applicata ad una [[proposizione]] ''p'' dà come risultato una nuova proposizione ''non p'' il cui valore di verità è l'inverso del valore di verità di ''p'', ossia ''non p'' è vera se ''p'' è falsa ed è falsa se ''p'' è vera.
+In [[logica]] e in [[matematica]] con '''negazione''' si intende un'operazione logica [[operatore unitario|unitaria]], che restituisce il [[valore di verità]] inverso di una [[proposizione (logica)|proposizione]].
+==Definizione==
+Data una [[proposizione (logica)|proposizione]] ''p'' si ha che ¬''p'' è falsa se ''p'' è vera, ed è vera se ''p'' è falsa.
+La [[tabella di verità]] della negazione  è la seguente:
+{| class="wikitable"
+|-
+| <math>p</math> || <math>\neg p</math>
+|- align=center
+| F || '''V'''
+|- align=center
+| V || '''F'''
+|}
+==Notazione==
-[[Categoria: Logica]]
+{{vedi anche|Negazione logica (simbolo)}}
+Per indicare la negazione di una proposizione ''p'' si scrive, equivalentemente:
+* <math> \neg p </math>
+* ~<math> p  </math>
-[[da:Negation]]
-[[de:Negation]]
+* <math> \bar{p}</math>
-[[en:Negation]]
-[[es:Puerta lógica#Puerta NO (NOT)]]
+* <math>!p</math>
-[[et:Eitus]]
-[[fr:Négation logique]]
+* <math>p'</math>
-[[he:לא (לוגיקה)]]
-[[ja:否定]]
+== Altri progetti ==
-[[mk:Логичка негација]]
+{{interprogetto|preposizione=sulla|wikt=negazione}}
-[[nl:Logische negatie]]
-[[no:Negasjon]]
+== Collegamenti esterni ==
-[[pl:Negacja]]
+* {{Collegamenti esterni}}
-[[pt:Negação]]
-[[sv:Logisk negation]]
+{{Connettivi logici}}
-[[th:นิเสธ]]
-[[zh:逻辑非]]
+{{Controllo di autorità}}
+{{Portale|matematica}}
+[[Categoria:Logica]]

V · D · M Connettivi logici
Tautologia ( $\top$ )
Non-congiunzione ( $\uparrow$ ) · Implicazione inversa ( $\leftarrow$ ) · Implicazione ( $\rightarrow$ ) · Disgiunzione inclusiva ( $\lor$ )
Negazione ( $\neg$ ) · Disgiunzione esclusiva ( ${\dot {\lor }}$ ) · Doppia implicazione ( $\leftrightarrow$ ) · Proposizione
Non-disgiunzione inclusiva ( $\downarrow$ ) · Non-implicazione ( $\nrightarrow$ ) · Non-implicazione inversa ( $\nleftarrow$ ) · Congiunzione ( $\land$ )
Contraddizione ( $\bot$ )