La Logica Introduzione Operazioni con le proposizioni La congiunzione

Presentazione sul tema: "La Logica Introduzione Operazioni con le proposizioni La congiunzione"— Transcript della presentazione:

1 La Logica Introduzione Operazioni con le proposizioni La congiunzione
La disgiunzione Negazione di una proposizione L’implicazione La coimplicazione Proprietà delle operazioni logiche Tautologie

2 Introduzione La logica opera con le proposizioni o enunciati, cioè tutte le frasi che possono essere definite vere o false. Sono proposizioni le seguenti frasi: “7 è multiplo di 4” e “La Terra è un pianeta” in quanto si può dire che la prima è falsa, mentre la seconda è vera. Non sono invece proposizioni queste frasi: “Domani pioverà” e “Luca verrà promosso” perché non si può stabilire il loro valore di verità. Home

3 operazioni con le proporzioni
Le proporzioni si possono unire tra di loro attraverso delle operazioni che hanno come simboli i connettivi logici che, a seconda del simbolo, si leggono “e, o, se… allora, se e solo se,…”. Per negare un enunciato si usa la locuzione “non” che viene chiamata operatore di negazione e si indica con una linea sopra alla proposizione da negare. Home

4 la congiunzione p q pΛq V F
La congiunzione di due proposizioni p e q è uguale alla proposizione p Λ q che è vera solo quando p e q sono contemporaneamente vere e falsa in tutti gli altri casi. Esempio: p, q p = “oggi è sabato” F q = “2+2=4” V pΛq = “oggi è sabato e 2+2=4” F Home

5 la disgiunzione p q pVq V F
La proposizione nata dalla disgiunzione di p e q è quella proposizione che sarà falsa solo quando sia p che q saranno false. In tutti gli altri casi la proposizione sarà vera. Esempio: p, q p = “Lecce è una provincia” V q = “la porta è aperta” F pVq = “Lecce è una provincia o la porta è aperta” V Home

6 negazione di una proposizione
Quando una proposizione vera viene negata, esse diventa falsa, mentre se la proposizione è falsa, diventerà vera. p V F Esempio: p p = “Il quadrato ho 4 lati” V p = “Il quadrato non ha 4 lati” F Home

7 l'implicazione p q p→q V F
Connettendo due o più proposizioni tramite la locuzione “se… allora”, cioè con l’implicazione, otterremo una proposizione che risulterà falsa solo nel caso che la prima sia vera e la seconda falsa. Esempio: p, q p = “Marco studia” V q = “Marco è promosso” V p → q = “Se Marco studia allora Marco è promosso” V Home

8 La coimplicazione p q p↔q V F
Si definisce coimplicazione di p e q la proposizione che è vera quando p e q hanno lo stesso valore di verità e falsa negli altri casi. Esempio: p, q p = “Il Po è una montagna” V q = “7 è un numero primo” V pVq = “Il Po è una montagna se e solo se 7 è un numero primo” V Home

9 proprietà delle operazioni logiche
Proprietà commutativa della congiunzione e della disgiunzione: p Λ q = q Λ p p V q = q V p Proprietà associativa della congiunzione e della disgiunzione: (p Λ q) Λ r = p Λ (q Λ r) (p V q) V r = p V (q V r) Proprietà distributiva della congiunzione rispetto alla disgiunzione: (p Λ q) V r = (p Λ q) V (p Λ r) Proprietà distributiva della disgiunzione rispetto alla congiunzione: (p V q) Λ r = (p V q) Λ (p V r) Home

10 tautologie Se una formula enunciativa risulta vera in tutti i casi possibili viene detta tautologia. Per indicare che una formula A è una tautologia si scrive ╞ A. Quando una formula enunciativa è sempre falsa allora si chiama contraddizione. Esempio: a b aΛb (aΛb) → a V F a aΛa V F TAUTOLOGIA CONTRADDZIONE Home

11 regole di deduzione Nei ragionamenti di matematica ci sono sempre delle affermazioni, le premesse di cui si conosce già il valore di verità. Da queste affermazioni se ne deduce una nuova, detta conclusione. 1ª premessa a → b 2ª premessa a conclusione b MODUS PONENS 1ª premessa a → b 2ª premessa b conclusione a MODUS TOLLENS Home