Logica La logica si occupa della correttezza del ragionamento, un ragionamento è formato da un insieme di proposizioni (enunciati di cui è possibile stabilire se sono veri o falsi) Carlo è un alunno di quarta A vero Antonio ha 13 anni falso Vai a posto! non è possibile stabilire se è vero o falso, quindi non è un enunciato logico. Hai fatto i compiti? anche questo non è un enunciato. Un ragionamento è corretto se l’insieme delle proposizioni che lo formano è Consistente (esiste almeno una possibilità che tutte le proposizioni siano vere). A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket. Non consistente Era una giornata fredda e piovosa. Antonio aveva molto caldo. Consistente (Antonio era a casa vicino al termosifone). In un ragionamento le proposizioni si collegano con dei Connettivi logici. Implicazione: Oggi piove. Prendo l’ombrello. Se piove allora prendo l’ombrello. Regola: Se piove devo prendere l’ombrello, se non piove posso prenderlo o non prenderlo. Doppia implicazione: Ho fatto i compiti. Vado a giocare. Se e solo se ho fatto i compiti vado a giocare Regola Se è vera la prima affermazione deve essere vera anche la seconda. Negazione: oggi c’è il sole oggi non c’è il sole Congiunzione: Giulio ha fatto un goal. Giulio è contento. Giulio ha fatto un goal ed è contento Regola Devono essere vere entrambe le proposizioni. Disgiunzione Piove Prendo l’ombrello Metto il kway Piove prendo l’ombrello o metto il kway Regola Se piove posso uscire con l’ombrello, con il kway o con tutti e due. Il calcolo delle classi e la sillogistica Intendiamo per classi gli insiemi. A= (alunni di 4ª A) B= (alunni del Villaggio Europa) Tutti gli elementi di A appartengono anche a B A è incluso in B C=(alunni del Galilei) Nessun alunno di 4ªA è un alunno del Galilei A e C sono disgiunti. D=(giocatori di calcio) Qualche alunno di 4ªA gioca a calcio A e D formano una intersezione Qualche alunno di 4ª A non gioca a calcio È l’insieme degli alunni di 4ª A che non giocano a calcio. Per formare gli insiemi abbiamo usato dei quantificatori. Tutti affermativo universale (a) Nessuno negativo universale (e) Qualche affermativo parziale (i) Qualche non negativo parziale (o) Il sillogismo è una forma di ragionamento che prevede due premesse e una conclusione. Tutte le rane sono anfibi Tutti gli anfibi sono vertebrati Tutte le rane sono vertebrati Nella prima premessa compaiono 2 classi rane e anfibi. Nella seconda compaiono anfibi e vertebrati. Anfibi compare sia nella prima sia nella seconda premessa. Nella conclusione appaiono 2 classi rane e vertebrati ( la prima e l’ultima nelle premesse) Questo sillogismo è un “barbara” ( i quantificatori sono tutti universali affermativi) Cavalli Tutti i cavalli sono mammiferi (a) Tutti i mammiferi sono vertebrati (a) Qualche vertebrato è un cavallo (i) Mandarini Tutti i mandarini sono agrumi (a) Tutti i mandarini sono piante (a) Qualche pianta è un agrume (i) Balene Tutti i ciliegi sono piante Nessuna balena è una pianta Nessuna balena è un ciliegio Maestre Tutte le maestre sono umane Nessun umano è una pianta Nessuna maestra è una pianta alati Tutti gli uccelli sono “alati” Tutti gli “alati” sono animali Qualche animale è un uccello Italia Alcuni uomini sono italiani Tutti gli italiani sono europei Alcuni uomini sono europei Corallo Alcuni coralli non sono rossi Tutti i coralli sono animali marini Qualche animale marino non è rosso Simone Qualche bambino si chiama Simone Qualche Simone non gioca a calcio Nessun bambino gioca a calcio Questo sillogismo non funziona, non è consistente Antonio Tutti i bambini sono umani Qualche umano non si chiama Antonio Qualche Antonio è un bambino Non funziona sempre