Algebra 1/Insiemi Logica Relazioni/Logica di base: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nuova pagina: {{Algebra1}} == Proposizioni == La logica è una scienza, e un’arte, che si occupa del modo corretto di ragionare, ossia del modo corretto di passare da certe premesse a certe co... |
|||
Riga 30:
== Algebra delle proposizioni ==
Vediamo ora il calcolo algebrico con le proposizioni. Si usa indicare le proposizioni con lettere minuscole, tipo <math>p</math>, <math>q</math>, <math>r</math>, …
=== 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.
{| cellpadding="4" style="float: right;
|align="center"|<math>p</math>
|align="center"|<math>q</math>
|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
|}
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à'' (tabella [tab:cong]).
=== Disgiunzione inclusiva ===
| |||