Mappa Logica sequenziale, Schemi e mappe concettuali di Reti Logiche

Scarica Mappa Logica sequenziale e più Schemi e mappe concettuali in PDF di Reti Logiche solo su Docsity!

Le risposte alle domande o nuove premesse modificano lo "stato di informazione" Meccanismo che permette di trarre conclusioni partendo da informazioni date (premesse) Definizione intuitiva 2. STATO DI INFORMAZIONE Si parte da tutte le combinazioni ‘ Processo }— possibili e si eliminano quelle che contraddicono le nuove informazioni Un'inferenza è valida se, qualora tutte le premesse siano vere, anche la conclusione fi or \ è necessariamente vera Definizione | fondamentale )\ Definizione alternativa: Non esistono ‘controesempi in cui le premesse sono vere e la conclusione è falsa Il Ristorante: Dedurre a chi appartiene l'ultimo piatto basandosi sulle scelte degli altri 1. CONCETTO DI INFERENZA LOGICA Esempi quotidiani Sudoku: Il meccanismo di risoluzione è identico all'inferenza del ristorante (esclusione passo dopo passo) Uso di simboli (es. F, M, V) per creare schemi generali | Astrazione Simbolica Vantaggio: Lo schema si applica a diverse situazioni indipendentemente dal contenuto specifico La validità non garantisce che la conclusione sia vera in assoluto, ma solo che "segue" dalle premesse 3. LA VALIDITÀ LOGICA INTORNO A NOI / DELL'INFERENZA Se anche una sola premessa è falsa, la INFERENZA LOGICA & x conclusione può essere vera o falsa (nulla è garantito) Per verificare la validità, si analizzano tutte le combinazioni di verità dei simboli (p e q) Aggiungere fatti veri (se le premesse sono certe) Analisi dei casi (Tavole di verità/Scenari) K Confutare asserzioni (trovare contraddizioni) Se esiste un caso (controesempio) dove le premesse sono vere e la conclusione è falsa, l'argomento non è valido Sillogismo Disgiuntivo: A o Bo C. Non A. Non B. Dunque C 5. METODO DI RISOLUZIONE Logica Proposizionale Si elencano i "mondi possibili" (combinazioni di colpevoli/innocenti) Modus Tollens: Se p allora q. Non q. Dunque non p Si eliminano le righe che violano le Applicazione regole (premesse) date pie Complessa (Esercizio Fratelli Grimm) 4. SCHEMI DI INFERENZA Esempi Negazione dell'antecedente: Se p allora q. Non p. Dunque non q Si osserva cosa rimane costante nelle opzioni restanti (es. Salmon è sicuramente colpevole) Schemi Non Validi (Fallacie) Esempio di pericolo: "Se oppongo resistenza il nemico mi uccide. Non oppongo resistenza. Dunque non mi uccide" (Conclusione non garantita)