Logica
Proposizioni e verità
Una proposizione è una frase che può essere vera o falsa. Per esempio, la frase "x è biondo" è una proposizione che può essere valutata come vera o falsa.
Esempi:
- 2 + 1 = 3 è vero
- 2 + 1 = 5 è falso
Connettivi logici
I connettivi logici sono usati per creare proposizioni composte. Alcuni dei connettivi più comuni includono:
- ⇒ (se - allora, implicazione)
- ⇔ (equivalenza logica)
- Vertice ⊥ (non, agisce su una proposizione)
Tabelle delle verità
Le tabelle delle verità mostrano come le combinazioni di valori di verità delle proposizioni influenzano il valore di verità delle proposizioni composte.
| A | B | A→B | ¬A | ¬B | ¬A∨B | (¬B→¬A) |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 |
Equivalenze e leggi logiche
Una proposizione A è equivalente a una proposizione B (A⇔B) se entrambe hanno lo stesso valore di verità.
Le leggi di De Morgan descrivono le relazioni tra le negazioni delle congiunzioni e delle disgiunzioni:
- ¬(A∧B)⇔(¬A∨¬B)
- ¬(A∨B)⇔(¬A∧¬B)
| A | B | A∧B | ¬(A∧B) | ¬A | ¬B | ¬A∨¬B | A∨B | ¬(A∨B) | ¬A | ¬B | ¬A∧¬B |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
Condizioni necessarie e sufficienti
Una condizione sufficiente per B è una condizione che, se vera, garantisce che B sia vero. Una condizione necessaria per A è una condizione che deve essere vera affinché A possa essere vero.
Esempio di implicazione: "Se piove, allora mi bagno" rappresenta un caso in cui "piove" è una condizione sufficiente per "essere bagnato".
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Recensioni
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo
