Algebra 1/Insiemi Logica Relazioni/Logica di base: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 119:
=== Negazione ===
{| cellpadding="4" style="float: right;
!align="center"|<math>p</math>
!align="center"|<math>\neg p</math>
!align="center"|<math>\neg(\neg p)</math>
|-
|align="center"|V
|align="center"|F
|align="center"|V
|-
|align="center"|F
|align="center"|V
|align="center"|F
|}
La ''negazione'', che si ottiene con il connettivo “non” (''non'', ''not'', <math>\neg</math>), è un operatore che, a differenza dei precedenti, non lega più proposizioni ma agisce su un’unica proposizione (per questo si dice che è un operatore unario, in analogia all’operazione insiemistica di complementazione). La negazione di una proposizione <math>p</math> è una proposizione che si indica con il simbolo <math>\neg p</math> che risulta vera se <math>p</math> è falsa, viceversa è falsa se <math>p</math> è vera.
La doppia negazione equivale ad un’affermazione, cioè <math>\neg(\neg p)</math> è equivalente a <math>p</math>.
{{Algebra1/Esempio1| Date le seguenti proposizioni <math>p=\;</math><<un triangolo ha tre lati>> (Vera), <math>q=\;</math><<un triangolo ha tre vertici>> (Vera), <math>r=\;</math><<un triangolo ha quattro angoli>> (Falsa), <math>s=\;</math><<un triangolo ha tre dimensioni>> (Falsa), allora:
* <math>p\wedge q</math> è vera, <math>q\wedge r</math> è falsa, <math>r\wedge s</math> è falsa;
* <math>p\vee q</math> è vera, <math>q\vee r</math> è vera, <math>r\vee s</math> è falsa;
* <math>p\veebar q</math> è falsa, <math>q\veebar r</math> è vera, <math>r\veebar s</math> è falsa.
}}
|