ELEMENTI DI LOGICA

1. ELEMENTI DI LOGICA

2. PROPOSIZIONI O ENUNCIATI

3. In matematica un enunciato o proposizione è un’espressione linguistica alla quale possiamo stabilire con assoluta certezza se è vera o falsa. • ESEMPI: • La mia classe è composta da 17 alunni; V • Il Sole ruota intorno alla Terra; F • Gabriele è felice; Non è una proposizione

4. CONGIUNZIONE

5. DEFINIZIONE:si definisce congiunzione di due proposizioni p e q, la proposizione che è vera se p e q (si legge p e q) sono vere entrambi, mentre è falsa in ogni altro caso. p q p q V V F F V F V F V F F F

6. DISGIUNZIONE

7. DEFINIZIONE:si definisce disgiunzione di due proposizioni p e q, e si indica con il simbolo p V q (si legge “p o q”), la proposizione che è vera se almeno una delle due proposizioni è vera,mentre è falsa se entrambi le proposizioni sono false p q p V q V V F F V F V F V V V F

8. IMPLICAZIONE

9. DEFINIZIONE:si definisce implicazione materiale o condizionale di due proposizioni p q ( si legge “se p allora q”). la proposizione che è falsa nel caso p sia vera e q sia falsa ed è vera negli altri casi p q p q V V F F V F V F V F V V

10. COIMPLICAZIONE

11. DEFINIZIONE:Si definisce definizione materiale o bicondizionale di due proposizioni p e q e si indica con p ↔ q e si legge “p coimplica q”. La proposizione è vera quando p e q hanno lo stesso valore di verità, mentre è falsa in tutti gli altri casi. p q p↔q V V F F V F V F V F F V

12. In effetti la coimplicazione, non sono altro che due implicazione inverse tra di loro che vengono congiunte (a → b) (b→a)

13. NEGAZIONE

14. DEFINIZIONE:Si dice negazione di un enunciato p, e si indica con p e si legge “non p”. L’enunciato è falso se p è vero ed è vero se p è falso. p p V F F V

15. TAUTOLOGIE E’ una tautologia quella proposizione composta che ha come valore di verità VERO indipendentemente dal valore di verità delle singole proposizioni. a a a V a V F F V V V

16. CONTRADDIZIONI E’ una contraddizione quella proposizione composta che ha come valore di verità FALSO indipendentemente dal valore di verità delle singole proposizioni che lo compongono. p q p q V F F V F F