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|matematica}}
+{{S|logica}}
+[[File:Venn10.svg|miniatura|[[Diagramma di Venn]] della negazione]]
-La '''negazione''' è un'[[operazione logica]] [[Operazione unaria|unaria]] che applicata ad una [[proposizione (logica)|proposizione]] ''p'' dà come risultato una nuova proposizione ''non p'' il cui [[tabella della verità|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==
+{{vedi anche|Negazione logica (simbolo)}}
 Per indicare la negazione di una proposizione ''p'' si scrive, equivalentemente:
 * <math> \neg p </math>
-* ~<math> p  \,</math>
+* ~<math> p  </math>
 * <math> \bar{p}</math>
-* <math>!p\!</math>
+* <math>!p</math>
+* <math>p'</math>
+== Altri progetti ==
+{{interprogetto|preposizione=sulla|wikt=negazione}}
+== Collegamenti esterni ==
+* {{Collegamenti esterni}}
+{{Connettivi logici}}
-* <math>p'\!</math>
+{{Controllo di autorità}}
-[[Categoria: Logica]]
+{{Portale|matematica}}
-[[ar:نفي]]
+[[Categoria:Logica]]
-[[cs:Negace]]
-[[da:Negation]]
-[[de:Negation]]
-[[en:Negation]]
-[[eo:Logika neo]]
-[[es:Puerta lógica#Puerta NO (NOT)]]
-[[et:Eitus]]
-[[fa:نقیض]]
-[[fr:Négation logique]]
-[[he:לא (לוגיקה)]]
-[[hr:Negacija]]
-[[ja:否定]]
-[[ko:부정]]
-[[mk:Негација]]
-[[nl:Logische negatie]]
-[[no:Negasjon]]
-[[pl:Negacja]]
-[[pms:Negassion]]
-[[pt:Negação]]
-[[ru:Отрицание]]
-[[simple:Logical negation]]
-[[sk:Negácia]]
-[[sl:Negacija]]
-[[sq:Negacioni]]
-[[sr:Логичка негација]]
-[[sv:Negation (logik)]]
-[[th:นิเสธ]]
-[[uk:Заперечення]]
-[[zh:逻辑非]]

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$ )