Logica 18-19.

Presentazione sul tema: "Logica 18-19."— Transcript della presentazione:

1 Logica 18-19

2 Lezione 30 7 Maggio

3 Ripasso Esercizi di deduzione naturale Esercizi di traduzione

4 Suggerimenti per l'esame finale
Giovedì 9 Maggio ore 11, aula c Ci saranno 2 esercizi di deduzione naturale; fondamentalmente di tipo sillogistico (simili a quelle del compito 4). Potrebbe semplificare le cose utilizzare le regole derivate SQ, DM, IM (v. prossima slide) Traduzione da FOL= a italiano degli esercizi di deduzione naturale Traduzione da italiano a FOL=: frasi con descrizioni definite (con e senza simbolo, almeno, al massimo, esattamente), per es.: Al massimo due cavalli sono bianchi

5 SQ ∼∀βφ ↔ ∃β∼φ ∼∃βφ ↔ ∀β∼φ ∼∀β∼φ ↔ ∃βφ ∼∃β∼φ ↔ ∀βφ DM ∼(P & Q) ↔ (∼P ∨ ∼Q) ∼(P ∨ Q) ↔ (∼P & ∼Q) IM (P → Q) ↔ (∼P ∨ Q) (P → Q) ↔ ∼(P & ∼Q)

6 IM NEG (implicazione negata)
Aggiungerei questa equivalenza alla lista di equivalenze notevoli della tabella 4.1 p. 115: ∼(P → Q) ↔ (P & ∼Q)

7 Esercizio risolto 7.1 Soluzione

8 Esercizio risolto 7.7 Soluzione

9 Esercizio risolto 7.9 Soluzione

10 Esempio di sillogismo ∀x (Dx → Nx), ∃x(Rx & Dx) ├ ∃x (Rx & Nx)

11 Esempio con SQ, DM, IM NEG ├ ∀x (Nx → ~ Dx) → ~∃x (Nx & Dx)

12 FINE LEZIONE

13 Ancora su "esattamente" C'è esattamente un cavallo
xCx & x y((Cx & Cy)  x = y) Possiamo abbreviare così: x(Cx & y(Cy  x = y)) xy(Cy ↔ y = x) Ci sono esattamente due cavalli x y((Cx & Cy) & x  y) & z(Cz  (z = x v z =y)) Ecc.

14 Descrizioni definite e negazione
(1) Il cavallo alato non è bianco (1a) (1b) (2) Il cavallo alato non esiste (3) Il cavallo alato non è identico a un oggetto (3a) (3b)

15 Descrizioni definite e negazione
(1) Il cavallo alato non è bianco (1a) (1b) (2) Il cavallo alato non esiste (3) Il cavallo alato non è identico a un oggetto (3a) (3b)