Logica 17-18 Lezioni 10-11.

Presentazione sul tema: "Logica 17-18 Lezioni 10-11."— Transcript della presentazione:

1 Logica 17-18 Lezioni 10-11

2 Lezione 10 23/10/17 DISTRIBUIRE COMPITO 2

3 ANNUNCIO Non farò lezione mercoledì 25 Ottobre, a causa degli esami di laurea. Recupereremo appena possibile

4 Alberi di refutazione: proviamo ...
Illustriamo il metodo con un esempio. Seguiremo delle regole meccaniche riassunte nella tavola 3.2 a p. 90. NB: E' opportuno numerare tutte le righe che via via si vanno aggiungendo. NON lo faremo in questo primo esempio.

5 Esercizio risolto 3.25 Costruire un albero di refutazione per stabilire se la forma seguente è valida: P  Q, P  Q |– P

6 Soluzione (1 di 3) Cominciamo formando una lista composta dalle premesse e dalla negazione della conclusione: P  Q P Q  P La formula ‘ P’ è equivalente alla più semplice ‘P’, di conseguenza possiamo segnarla e scrivere ‘P’ in fondo alla lista. Poi segniamo ‘P  Q’ ed evidenziamo le sue possibilità di verità tracciando due rami: Continua nella pagina seguente

7 Soluzione (2 di 3) Il cammino di sinistra contiene sia ‘P’ che ‘P’, quindi lo chiudiamo con una ‘X’. Quello di destra, invece, resta aperto. Lo estendiamo con due rami, corrispondenti alle situazioni in cui ‘P Q’ (che non avevamo ancora segnato) può essere vera: Continua nella pagina seguente

8 Soluzione (3 di 3) A questo punto notiamo che entrambi i cammini così ottenuti contengono formule fra loro inconsistenti: il primo contiene ‘P’ e ‘P’; il secondo ‘Q’ e ‘Q’. Questo vuol dire che possiamo chiudere anche questi due cammini con una ‘X’: Questo è l’albero completo. Dal momento che il tentativo di refutazione fallisce lungo tutti i cammini, la forma argomentativa originale è valida.

9 Alberi di refutazione Guarderemo insieme tra poco le 10 regole (tavola 3.2, p. 90) per gli alberi di refutazione. Prima chiariamo bene come funziona il metodo

10 Il metodo degli alberi di refutazione (i)
Per verificare la validità di una forma argomentativa mediante gli alberi di refutazione, si comincia formando una lista composta dalle sue premesse e dalla negazione della sua conclusione. Si procede mediante 10 regole (tavola 3.2, p. 90) (controllando di volta in volta quale di queste è applicabile) sino a ottenere soltanto lettere enunciative o negazioni di lettere enunciative oppure la X che indica contraddizione e chiude un cammino.

11 Il metodo definito precisamente (ii)
Le 10 regole (v. p. 90): Negazione Negazione negata Congiunzione Congiunzione negata Disgiunzione Disgiunzione negata Condizionale Condizionale negato Bicondizionale Bicondizionale negato "Negazione" ci permette di chiudere un cammino quando c'è una contraddizione. Si deve sempre tentare di applicarla non appena abbiano ricavato una fbf della forma ̴  Le altre regole corrispondono a nove possibili tipi di fbf complessa che possiamo trovarci di fronte e ci permettono di estendere l'albero con formule più semplici.

12 Lezione 11 24/10/17

13 Il metodo definito precisamente (ii)
Le 10 regole (v. p. 90): Negazione Negazione negata Congiunzione Congiunzione negata Disgiunzione Disgiunzione negata Condizionale Condizionale negato Bicondizionale Bicondizionale negato "Negazione" ci permette di chiudere un cammino quando c'è una contraddizione. Si deve sempre tentare di applicarla non appena abbiano ricavato una fbf della forma ̴  Le altre regole corrispondono a nove possibili tipi di fbf complessa che possiamo trovarci di fronte e ci permettono di estendere l'albero con formule più semplici.

14 Il metodo definito precisamente (iii)
Quando nessuna regola è applicabile, l'albero si conclude. Se tutti i cammini si chiudono, la forma argomentativa è valida. Se qualche cammino rimane aperto, la forma argomentativa è invalida.

15 Precisazione NB: alla fine ciascun cammino contiene lettere enunciative "positive" (non negate) oppure negate. Un cammino corrisponde all'ipotesi che le sue lettere positive esprimono proposizioni vere e quelle negate proposizioni false (assegnazioni di valori di verità) Un cammino che rimane aperto è un'ipotesi COERENTE o POSSIBILE, secondo la quale tutte le fbf del cammino sono vere. Quando le cose stanno in quel modo, nella forma argomentativa in questione le premesse sono vere e la conclusione falsa: CONTROESEMPIO. Se non ci sono controesempi, la forma argomentativa è valida.

16 Esempio P → Q,  Q |– P P → Q  Q P / \ P Q
/ \ P Q Ipotesi 1: Q è falso, P è falso, [quindi (P → Q) è vero] Ipotesi 2: Q è falso, P è falso, Q è vero X La prima ipotesi è coerente e quindi costituisce un controesempio alla validità dell'argomentazione

17 Esercizio risolto 3.29 Costruire un albero di refutazione per stabilire se la forma seguente è valida: P → Q |– P  Q La regola della disgiunzione negata si applica alla riga 2 per ottenere le righe 3 e 4. Il cammino aperto nell’albero terminato indica che la forma è invalida e che ogni situazione in cui sia ‘P’ che ‘Q’ sono false è un controesempio.

18 verifica dello statuto logico di una singola fbf  con alberi di refutazione
Il libro può confondere perché non presenta i passi della procedura con un ordine univoco. Consideriamo ̴  e applichiamo il metodo degli alberi. SI possono verificare 2 casi: Caso 1. Tutti i cammini si chiudono. Allora ̴  è inconsistente. Quindi  è tautologica, perché negando una tautologia otteniamo sempre un'inconsistenza. Caso 2. Rimangono dei cammini aperti; il che vuol dire che negando  non otteniamo inconsistenza, e quindi  NON è tautologia. Rimane da verificare se  è inconsistente o contingente. CONT...

19 Inconsistenza o contingenza?
Per decidere se  è inconsistente o contingente, applichiamo il metodo degli alberi a  stessa. Caso 2a. Tutti i cammini si chiudono. Vuol dire che non ci sono situazioni in cui  è vera. Quindi,  è inconsistente. Caso 2b. Alcuni cammini restano aperti. Quindi,  non è inconsistente. Ma abbiamo già escluso (caso 1) che è una tautologia. Quindi  è contingente.

20 In sintesi Per scoprire lo statuto di una formula , costruire un albero per  e procedere così: (1) se tutti i cammini di un albero terminato per  sono chiusi, considerare  tautologica. (2) Se non è venuto fuori che  è tautologica, costruire un albero per  e decidere così: (2a) se tutti i cammini si chiudono,  è inconsistente (2b) se qualche cammino rimane aperto,  è contingente.

21 Esempio di tautologia P v P (P v P) P  P x

22 Esempio di contraddizione
(P v P)  (P v P) (P v P) P P Abbiamo scoperto che (P v P) non è una tautologia. Ora vediamo cos'è applicando direttamente ad essa il metodo: P  P x Contraddizione!

23 Esempio di contingenza
P v Q (P v Q)  P  Q A questo punto abbiamo scoperto che non è una tautologia. Adesso consideriamo P v Q è scopriamo che è contingente: P Q

24 Slide aggiunta dopo la lezione
L’esempio della slide precedente ci mostra che, se otteniamo solo cammini aperti dalla negazione di una certa fbf, non per questo possiamo concludere che la fbf in questione sia una tautologia Nell’esempio della slide precedente c’è un unico cammino ed è aperto. Quindi tutti I cammini so no aperti. E la fbf, ossia P v Q, è contingente

25 Esercizi 3.33 + 3.34 (p. 87) Soluzione
Verificare lo statuto logico di: (Q → (P & P)) Soluzione L’albero comincia con la negazione della fbf in esame. Poiché però il cammino sul ramo sinistro rimane aperto, concludiamo che la fbf non è tautologica. Dobbiamo ancora verifcare se è inconsistente o contingente. CONTINUA...

26 Continuazione (nel libro: es. 3.34)
Per verificare se (Q → (P & P)) è inconsistente o contingente, costruiamo un albero per essa stessa. (Q → (P & P)) Q (P & P) / \ P   P P Rimangono dei cammini aperti (caso 2a; in questo particolare caso tutti i cammini sono aperti): la fbf è contingente

27 FINE LEZIONE

28 Riprendere da lezione 13