Algebra 1/Insiemi Logica Relazioni/Logica di base: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m added Category:Algebra 1 using HotCat |
|||
Riga 33:
=== Congiunzione ===
La ''congiunzione'' di due proposizioni si ottiene con il connettivo “e” (''et'', ''and'', <math>\wedge</math>): la proposizione <math>r</math> ottenuta dalla congiunzione delle proposizioni <math>p</math> e <math>q</math>, in simboli si usa scrivere <math>r=p\wedge q</math>, è vera se entrambe le proposizioni <math>p</math> e <math>q</math> sono contestualmente vere, mentre è falsa quando anche una sola delle due proposizioni è falsa.▼
Per esempio, <<Ho avuto 7 in italiano e matematica>> è un’affermazione vera solo quando ho avuto 7 in entrambe le materie. Oppure, <<Per guidare il motorino occorre aver compiuto 14 anni e possedere il patentino>> significa che posso guidare il motorino solo se ho entrambi i requisisti: aver compiuto 14 anni e avere il patentino.▼
Per esprimere in maniera sintetica tutte le possibilità del valore di verità di una proposizione composta, si usa una tabella a doppia entrata, detta ''tavola di verità''.▼
{| cellpadding="4" style="border-top: 1px solid #000; border-bottom: 1px solid #000; float: right;"▼
▲{|
|-style="border-bottom:1px solid black;"
|align="center"|<math>p\wedge q</math>▼
| style="border-bottom:1px solid black;" align="center"|<math>p</math> 
| style="border-bottom:1px solid black;" align="center"|<math>q</math> 
▲| style="border-bottom:1px solid black;" align="center"|<math>p\wedge q</math> 
|-
|align="center"|V  
|align="center"|V  
|align="center"|V  
|-
|align="center"|V  
|align="center"|F  
|align="center"|F  
|-
|align="center"|F  
|align="center"|V  
|align="center"|F  
|-
|align="center"|F  
|align="center"|F  
|align="center"|F  
|}
▲La ''congiunzione'' di due proposizioni si ottiene con il connettivo “e” (''et'', ''and'', <math>\wedge</math>): la proposizione <math>r</math> ottenuta dalla congiunzione delle proposizioni <math>p</math> e <math>q</math>, in simboli si usa scrivere <math>r=p\wedge q</math>, è vera se entrambe le proposizioni <math>p</math> e <math>q</math> sono contestualmente vere, mentre è falsa quando anche una sola delle due proposizioni è falsa.
▲Per esempio, <<Ho avuto 7 in italiano e matematica>> è un’affermazione vera solo quando ho avuto 7 in entrambe le materie. Oppure, <<Per guidare il motorino occorre aver compiuto 14 anni e possedere il patentino>> significa che posso guidare il motorino solo se ho entrambi i requisisti: aver compiuto 14 anni e avere il patentino.
▲Per esprimere in maniera sintetica tutte le possibilità del valore di verità di una proposizione composta, si usa una tabella a doppia entrata, detta ''tavola di verità''.
=== Disgiunzione inclusiva ===
| |||