Algebra 1/Insiemi Logica Relazioni/Logica di base: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 119:
=== Negazione ===
 
{| cellpadding="4" style="float: right;
=== Disgiunzione inclusiva ===
!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>&lt;&lt;un triangolo ha tre lati&gt;&gt; (Vera), <math>q=\;</math>&lt;&lt;un triangolo ha tre vertici&gt;&gt; (Vera), <math>r=\;</math>&lt;&lt;un triangolo ha quattro angoli&gt;&gt; (Falsa), <math>s=\;</math>&lt;&lt;un triangolo ha tre dimensioni&gt;&gt; (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.
 
}}