Logica 17-18 Lezioni 26-27.

Presentazione sul tema: "Logica 17-18 Lezioni 26-27."— Transcript della presentazione:

1 Logica 17-18 Lezioni 26-27

2 Lezione 26 4 Dicembre 2017 ANNUNCI: non si terrà la lezione di mercoledì 6 Dicembre Dobbiamo anticipare l'esame finale a martedì 19 dicembre (ore 14)

3 DISTRIBUIRE COMPITO 5

4 Regole di equivalenza SQ
Guardare tabella 7.2, p. 215 Daremo per scontate queste equivalenze (a meno che non sia richiesto esplicitamente di usare solo regole di base) Ci permettono di utilizzare le strategie già discusse. Per es., se abbiamo ∃xFx tra le premesse, grazie a SQ abbiamo ∀xFx , cioè una fbf universale da sfruttare Oppure, se abbiamo tra le premesse ∀xFx , grazie a SQ abbiamo ∃xFx da sfruttare Memorizzarle! E' complicato dimostrarle. Una è dimostrata a p. 210 Se c'è tempo, ci proveremo

5 Chiarimento sulla regola IE nella logica predicativa (i)
Abbiamo usato IE (introduzione equivalenza) nella logica proposizionale. E nella logica dei predicati? Consideriamo per esempio x~(Fx & Gx) Intuitivamente, per DM, ~(Fx & Gx) è equivalente a (~Fx v ~Gx) Tuttavia, a rigore ~(Fx & Gx) non è una fbf, perché contiene variabili "libere" (non "vincolate" da quantificatori) Possiamo usare la regola IE (caso specifico DM)?

6 Chiarimento sulla regola IE nella logica predicativa (ii)
~(Fx & Gx) otterremmo una fbf se sostituissimo le variabili con costanti. Queste formule le chiamiamo APERTE (relativamente a una certa variabile; v. p. 210) Assumeremo che la regola IE si può utilizzare anche per formule aperte (è una scorciatoia che il libro non considera!) Per esempio, consideriamo ~(Fx & Gx) ↔ (~Fx v ~Gx) un esempio per sostituzione di ~(P & Q) ↔ (~P v ~Q)

7 utilizziamo questa scorciatoia nell'uso di IE
Esercizio risolto 7.25 1  x(Fx  Gx) A 2 x (Fx & Gx) 1, IM 3 x (Fx & Gx) , DN 4 x (Fx & Gx) , SQ

8 Vediamo adesso come procede il Varzi senza questa scorciatoia

9 Esercizio risolto 7.25 Soluzione

10 Predicato di identità Utilizziamo la "infix notation"
Nuove fbf atomiche: a = b, c = d, ecc. Nuove fbf: x x = s, x(x = a v x = b) etc.

11 Regole per l'identità Regola di introduzione =I
Regola di eliminazione IE, v. pp e tabella riassuntiva 7.1 p (oppure p. 222)

12 Esercizio risolto 7.29 Soluzione

13 Esercizio risolto 7.31 Soluzione

14 Lezione 27 5/12/17 NB: Non c'è lezione domani L'esame finale di logica è anticipato a Lunedì 18 o martedì 19.

15 Simmetria dell'identità
Guardare es. 7.32, p. 214

16 Esercizio risolto 7.33 (transitività)
Soluzione (errore alla riga 6: sostituire x con z)

17 Simbolo Interpretazione
Formalizzare i seguenti enunciati italiani nella notazione della logica dei predicati con identità, usando l’interpretazione indicata. Simbolo Interpretazione c Samuel Clemens h Huckleberry Finn (il libro) t Mark Twain A è un autore americano M è migliore (come autore) di S ha scritto (a) Mark Twain non è Samuel Clemens. (b) Mark Twain esiste. (c) Se Mark Twain è Samuel Clemens, Samuel Clemens ha scritto Huckleberry Finn. (d ) Solo Mark Twain ha scritto Huckleberry Finn. (e) Nessun autore americano è migliore di Mark Twain.

18 (a) Mark Twain non è Samuel Clemens.
(b) Mark Twain esiste.

19 (c) Se Mark Twain è Samuel Clemens, Samuel Clemens ha scritto Huckleberry Finn.
(d ) Solo Mark Twain ha scritto Huckleberry Finn. (v. alternativa next slide) (e) Nessun autore americano è migliore di Mark Twain.

20 (d ) Solo Mark Twain ha scritto Huckleberry Finn.
traduzione alternativa: Sth & x(Sxh  x = t) NB: il secondo congiunto da solo è compatibile con il fatto che nessuno ha scritto Huckleberry Finn (ci dice: SE qualcuno ha scritto Huckleberry Finn allora è MT (si potrebbe considerare u'interpretazione "debole" di (d) (v. Montague et al. p. 268)) Invece x(Sxh ↔ x = t) richiede che qualcuno, MT, ha scritto Huckleberry Finn Infatti implica Sth↔ t = t, che a sua volta implica Sth

21 Esiste almeno un cavallo
Esistono almeno due cavalli Esistono almeno tre cavalli ecc.

22 Esiste almeno un cavallo
xCx Esistono almeno due cavalli x y((Cx & Cy) & x  y) Esistono almeno tre cavalli x y z(((Cx & Cy) & Cz & x  y)) & (y  z) & (x  z) ) Possiamo INFORMALMENTE togliere qualche parentesi: x y z(Cx & Cy & Cz & x  y & y  z & x  z)

23 Non-transitività della non identità
Esistono almeno tre cavalli x y z(Cx & Cy & Cz & x  y & y  z & x  z) Non basta dire "x  y & y  z" perché la non identità non è transitiva. Quindi bisogna aggiungere "x  z" Contro-esempi alla transitività: Superman  Batman, Batman  Clark Kent Eppure Superman = Clark Kent (2+2)  3, 3  (2x2), eppure (2+2) = (2x2)

24 C'è al massimo un cavallo
Ci sono al massimo due cavalli Ci sono al massimo tre cavalli

25 C'è al massimo un cavallo (ma non è detto che ci sia!)
x y((Cx & Cy) -> x = y) Ci sono al massimo due cavalli x y z((Cx & Cy & Cz) -> (x = y v z = x v z =y)) Ci sono al massimo tre cavalli traduzione analoga al caso precedente NB: correggere il libro a p. 187, togliendo la negazione interna nelle due formule (h) e (i) in fondo alla pagina

26 "esattamente" C'è esattamente un cavallo
Ci sono esattamente due cavalli Ci sono esattamente tre cavalli

27 C'è esattamente un cavallo = C'è almeno un cavallo e c'è al massimo un cavallo
xCx & x y((Cx & Cy)  x = y) Ci sono esattamente due cavalli = ci sono almeno due cavalli e ci sono al massimo due cavalli x y((Cx & Cy) & x  y) & xyz((Cx & Cy & Cz)  (x = y v z = x v z =y)) Ecc.