Invito alla

Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it Invito alla Logica Matematica
attraverso gli Indovinelli

R. De Leo
deleo@unica.it

Liceo Scientifico “L.B. Alberti”

9 Febbraio 2010

1 / 40
 Outline

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

2 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

Il Setup

3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

Il Setup
Le Regole

3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

Il Setup
Le Regole

La Matematica funziona allo stesso modo!

3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

Il Setup
Le Regole

Definizioni/
Assiomi di esistenza
La Matematica funziona allo stesso modo!
3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

Il Setup
Le Regole

Definizioni/
Postulati
Assiomi di esistenza
La Matematica funziona allo stesso modo!
3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica Quali sono gli elementi fondamentali di un gioco da tavolo?
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

I Pezzi

Il Setup
Le Regole

Definizioni/
Postulati Logica
Assiomi di esistenza
La Matematica funziona allo stesso modo!
3 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo Durante una partita i giocatori utilizzano le regole muovere i

deleo@unica.it
pezzi sulla scacchiera ottenendo così nuove posizioni a partire
da quella di partenza (setup).

Allo stesso modo in Matematica si utilizza la Logica (cioè il

ragionamento) per ottenere nuovi risultati a partire dai
postulati. Le “nuove posizioni sulla scacchiera” in Matematica
si chiamano Teoremi.

4 / 40
 La Matematica come “gioco da tavolo”

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo Durante una partita i giocatori utilizzano le regole muovere i

deleo@unica.it
pezzi sulla scacchiera ottenendo così nuove posizioni a partire
da quella di partenza (setup).

Allo stesso modo in Matematica si utilizza la Logica (cioè il

ragionamento) per ottenere nuovi risultati a partire dai
postulati. Le “nuove posizioni sulla scacchiera” in Matematica
si chiamano Teoremi.

4 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica • Aristotele (∼ 350AC) è il primo a formalizzare le leggi del
attraverso gli
Indovinelli ragionamento con i sillogismi.
R. De Leo
deleo@unica.it
Esempio:
1 Tutti i gatti sono mammiferi;
2 Tutti i mammiferi sono a sangue caldo;
3 Perciò tutti i gatti sono a sangue caldo.

• Nel Medioevo lo studio della logica continua nella

direzione indicata da Aristotele.
• Nel Seicento G.W. Leibniz (1646 − 1716) introduce la
Logica Simbolica mostrando che la logica può essere
trattata con strumenti algebrici così come si fa con i
numeri.

5 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica • Aristotele (∼ 350AC) è il primo a formalizzare le leggi del
attraverso gli
Indovinelli ragionamento con i sillogismi.
R. De Leo
deleo@unica.it
Esempio:
1 Tutti i gatti sono mammiferi;
2 Tutti i mammiferi sono a sangue caldo;
3 Perciò tutti i gatti sono a sangue caldo.

• Nel Medioevo lo studio della logica continua nella

direzione indicata da Aristotele.
• Nel Seicento G.W. Leibniz (1646 − 1716) introduce la
Logica Simbolica mostrando che la logica può essere
trattata con strumenti algebrici così come si fa con i
numeri.

5 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica • Aristotele (∼ 350AC) è il primo a formalizzare le leggi del
attraverso gli
Indovinelli ragionamento con i sillogismi.
R. De Leo
deleo@unica.it
Esempio:
1 Tutti i gatti sono mammiferi;
2 Tutti i mammiferi sono a sangue caldo;
3 Perciò tutti i gatti sono a sangue caldo.

• Nel Medioevo lo studio della logica continua nella

direzione indicata da Aristotele.
• Nel Seicento G.W. Leibniz (1646 − 1716) introduce la
Logica Simbolica mostrando che la logica può essere
trattata con strumenti algebrici così come si fa con i
numeri.

5 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica • Aristotele (∼ 350AC) è il primo a formalizzare le leggi del
attraverso gli
Indovinelli ragionamento con i sillogismi.
R. De Leo
deleo@unica.it
Esempio:
1 Tutti i gatti sono mammiferi;
2 Tutti i mammiferi sono a sangue caldo;
3 Perciò tutti i gatti sono a sangue caldo.

• Nel Medioevo lo studio della logica continua nella

direzione indicata da Aristotele.
• Nel Seicento G.W. Leibniz (1646 − 1716) introduce la
Logica Simbolica mostrando che la logica può essere
trattata con strumenti algebrici così come si fa con i
numeri.

5 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica • Aristotele (∼ 350AC) è il primo a formalizzare le leggi del
attraverso gli
Indovinelli ragionamento con i sillogismi.
R. De Leo
deleo@unica.it
Esempio:
1 Tutti i gatti sono mammiferi;
2 Tutti i mammiferi sono a sangue caldo;
3 Perciò tutti i gatti sono a sangue caldo.

• Nel Medioevo lo studio della logica continua nella

direzione indicata da Aristotele.
• Nel Seicento G.W. Leibniz (1646 − 1716) introduce la
Logica Simbolica mostrando che la logica può essere
trattata con strumenti algebrici così come si fa con i
numeri.

5 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica • Aristotele (∼ 350AC) è il primo a formalizzare le leggi del
attraverso gli
Indovinelli ragionamento con i sillogismi.
R. De Leo
deleo@unica.it
Esempio:
1 Tutti i gatti sono mammiferi;
2 Tutti i mammiferi sono a sangue caldo;
3 Perciò tutti i gatti sono a sangue caldo.

• Nel Medioevo lo studio della logica continua nella

direzione indicata da Aristotele.
• Nel Seicento G.W. Leibniz (1646 − 1716) introduce la
Logica Simbolica mostrando che la logica può essere
trattata con strumenti algebrici così come si fa con i
numeri.

5 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica
• Nel Settecento L. Euler (1707 − 1783) introduce un modo
attraverso gli
Indovinelli
di rappresentare graficamente i sillogismi, poi sfociato nei
R. De Leo
diagrammi di Venn della teoria degli insiemi.
deleo@unica.it
C
Tutti gli A sono B.
B
Tutti i B sono C.
A
Tutti gli A sono C.

• Nell’Ottocento G. Boole (1815 − 1864) chiarifica i

collegamenti tra logica e teoria degli insiemi. Ad esempio:
A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}
A ∩ B = {x|(x ∈ A) ∧ (x ∈ B)}
6 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica
• Nel Settecento L. Euler (1707 − 1783) introduce un modo
attraverso gli
Indovinelli
di rappresentare graficamente i sillogismi, poi sfociato nei
R. De Leo
diagrammi di Venn della teoria degli insiemi.
deleo@unica.it
C
Tutti gli A sono B.
B
Tutti i B sono C.
A
Tutti gli A sono C.

• Nell’Ottocento G. Boole (1815 − 1864) chiarifica i

collegamenti tra logica e teoria degli insiemi. Ad esempio:
A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}
A ∩ B = {x|(x ∈ A) ∧ (x ∈ B)}
6 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
• Giuseppe Peano (1858 − 1932) pubblica il Formulario in
R. De Leo cui, tra le altre cose, introduce le notazioni che da allora in
deleo@unica.it
poi saranno usate in logica e matematica. In particolare
sono suoi i simboli ∩, ∪, ∃, ∈, 3, ∼ (negazione logica), p
per indicare le proposizioni.
• Bertrand Russel (1872 − 1970) pubblica i Principia
Mathematica mettendo la logica proposizionale alla base
dei fondamenti della matematica.
• Kurt Gödel (1906 − 1978) dimostra il famoso teorema di
incompletezza.

7 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
• Giuseppe Peano (1858 − 1932) pubblica il Formulario in
R. De Leo cui, tra le altre cose, introduce le notazioni che da allora in
deleo@unica.it
poi saranno usate in logica e matematica. In particolare
sono suoi i simboli ∩, ∪, ∃, ∈, 3, ∼ (negazione logica), p
per indicare le proposizioni.
• Bertrand Russel (1872 − 1970) pubblica i Principia
Mathematica mettendo la logica proposizionale alla base
dei fondamenti della matematica.
• Kurt Gödel (1906 − 1978) dimostra il famoso teorema di
incompletezza.

7 / 40
 Brevissima Storia della Logica

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
• Giuseppe Peano (1858 − 1932) pubblica il Formulario in
R. De Leo cui, tra le altre cose, introduce le notazioni che da allora in
deleo@unica.it
poi saranno usate in logica e matematica. In particolare
sono suoi i simboli ∩, ∪, ∃, ∈, 3, ∼ (negazione logica), p
per indicare le proposizioni.
• Bertrand Russel (1872 − 1970) pubblica i Principia
Mathematica mettendo la logica proposizionale alla base
dei fondamenti della matematica.
• Kurt Gödel (1906 − 1978) dimostra il famoso teorema di
incompletezza.

7 / 40
 La Logica Proposizionale

Invito alla
Logica Come si procede in Fisica quando si studia un nuovo fenomeno,
Matematica
attraverso gli il primo passo è quello di determinarne il modello più semplice
Indovinelli
possibile. In Logica il ’livello zero’ è quello in cui gli ’atomi’
R. De Leo
deleo@unica.it sono le proposizioni, cioè frasi di senso compiuto delle quali sia
possibile determinare il valore di verità (vero/falso).
Da ora in poi indicheremo le proposizioni con lettere latine
minuscole (p,q, · · · ).
Ogni ragionamento consiste nella combinazione di diverse
proposizioni in modo da dar luogo alla fine alla combinazione
desiderata; se il ragionamente è corretto dalla verità degli
assunti discende necessariamente la verità delle conclusioni.
La logica proposizionale dunque studia il modo in cui varie
proposizioni possono combinarsi mantenendo il loro valore di
verità.
8 / 40
 La Logica Proposizionale

Invito alla
Logica Come si procede in Fisica quando si studia un nuovo fenomeno,
Matematica
attraverso gli il primo passo è quello di determinarne il modello più semplice
Indovinelli
possibile. In Logica il ’livello zero’ è quello in cui gli ’atomi’
R. De Leo
deleo@unica.it sono le proposizioni, cioè frasi di senso compiuto delle quali sia
possibile determinare il valore di verità (vero/falso).
Da ora in poi indicheremo le proposizioni con lettere latine
minuscole (p,q, · · · ).
Ogni ragionamento consiste nella combinazione di diverse
proposizioni in modo da dar luogo alla fine alla combinazione
desiderata; se il ragionamente è corretto dalla verità degli
assunti discende necessariamente la verità delle conclusioni.
La logica proposizionale dunque studia il modo in cui varie
proposizioni possono combinarsi mantenendo il loro valore di
verità.
8 / 40
 I connettivi Logici

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

Esaminando il modo in cui ragioniamo sono stati individuati

storicamente cinque operatori fondamentali: quattro connettivi
binari (congiunzione, disgiunzione, implicazione e
coimplicazione) ed uno unario (negazione).

9 / 40
 La Negazione

Invito alla
Logica
Matematica
attraverso gli
Data una proposizione p si puó generare una nuova
Indovinelli proposizione “non p”, che risulta vera quando p è falsa e
R. De Leo
deleo@unica.it
viceversa.
In logica si indica con

∼p
Tavola di verità:

p ∼p
V F
F V

10 / 40
 La Negazione

Invito alla
Logica
Matematica
attraverso gli
Data una proposizione p si puó generare una nuova
Indovinelli proposizione “non p”, che risulta vera quando p è falsa e
R. De Leo
deleo@unica.it
viceversa.
In logica si indica con

∼p
Tavola di verità:

p ∼p
V F
F V

10 / 40
 La Negazione

Invito alla
Logica
Matematica
attraverso gli
Data una proposizione p si puó generare una nuova
Indovinelli proposizione “non p”, che risulta vera quando p è falsa e
R. De Leo
deleo@unica.it
viceversa.
In logica si indica con

∼p
Tavola di verità:

p ∼p
V F
F V

10 / 40
 Il connettivo ’o’

Invito alla
Logica
Matematica
Date p e q possiamo affermare “o p o q”, vera quando almeno
attraverso gli
Indovinelli
una delle due proposizioni è vera (disgiunzione inclusiva).
R. De Leo In logica si indica con p ∨ q
deleo@unica.it
Tavola di verità:
p q p∨q
V V V
V F V
F V V
F F F

L’operatore ∨ corrisponde in insiemistica a ∪:

A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}.
Esempio: sarò promosso o bocciato? si!
11 / 40
 Il connettivo ’o’

Invito alla
Logica
Matematica
Date p e q possiamo affermare “o p o q”, vera quando almeno
attraverso gli
Indovinelli
una delle due proposizioni è vera (disgiunzione inclusiva).
R. De Leo In logica si indica con p ∨ q
deleo@unica.it
Tavola di verità:
p q p∨q
V V V
V F V
F V V
F F F

L’operatore ∨ corrisponde in insiemistica a ∪:

A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}.
Esempio: sarò promosso o bocciato? si!
11 / 40
 Il connettivo ’o’

Invito alla
Logica
Matematica
Date p e q possiamo affermare “o p o q”, vera quando almeno
attraverso gli
Indovinelli
una delle due proposizioni è vera (disgiunzione inclusiva).
R. De Leo In logica si indica con p ∨ q
deleo@unica.it
Tavola di verità:
p q p∨q
V V V
V F V
F V V
F F F

L’operatore ∨ corrisponde in insiemistica a ∪:

A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}.
Esempio: sarò promosso o bocciato? si!
11 / 40
 Il connettivo ’o’

Invito alla
Logica
Matematica
Date p e q possiamo affermare “o p o q”, vera quando almeno
attraverso gli
Indovinelli
una delle due proposizioni è vera (disgiunzione inclusiva).
R. De Leo In logica si indica con p ∨ q
deleo@unica.it
Tavola di verità:
p q p∨q
V V V
V F V
F V V
F F F

L’operatore ∨ corrisponde in insiemistica a ∪:

A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}.
Esempio: sarò promosso o bocciato? si!
11 / 40
 Il connettivo ’o’

Invito alla
Logica
Matematica
Date p e q possiamo affermare “o p o q”, vera quando almeno
attraverso gli
Indovinelli
una delle due proposizioni è vera (disgiunzione inclusiva).
R. De Leo In logica si indica con p ∨ q
deleo@unica.it
Tavola di verità:
p q p∨q
V V V
V F V
F V V
F F F

L’operatore ∨ corrisponde in insiemistica a ∪:

A ∪ B = {x|(x ∈ A) ∨ (x ∈ B)}.
Esempio: sarò promosso o bocciato? si!
11 / 40
 Il connettivo ’xor’

Invito alla
Logica
Matematica Date p e q si puó affermare “p o q ma non entrambe”, che è
attraverso gli
Indovinelli vera quando solo una delle due proposizioni componenti è vera
R. De Leo (disgiunzione esclusiva).
deleo@unica.it
In logica si indica con p Y q
Tavola di verità:

p q pYq
V V F
V F V
F V V
F F F

Esempio: o la borsa o la vita!

12 / 40
 Il connettivo ’xor’

Invito alla
Logica
Matematica Date p e q si puó affermare “p o q ma non entrambe”, che è
attraverso gli
Indovinelli vera quando solo una delle due proposizioni componenti è vera
R. De Leo (disgiunzione esclusiva).
deleo@unica.it
In logica si indica con p Y q
Tavola di verità:

p q pYq
V V F
V F V
F V V
F F F

Esempio: o la borsa o la vita!

12 / 40
 Il connettivo ’xor’

Invito alla
Logica
Matematica Date p e q si puó affermare “p o q ma non entrambe”, che è
attraverso gli
Indovinelli vera quando solo una delle due proposizioni componenti è vera
R. De Leo (disgiunzione esclusiva).
deleo@unica.it
In logica si indica con p Y q
Tavola di verità:

p q pYq
V V F
V F V
F V V
F F F

Esempio: o la borsa o la vita!

12 / 40
 Il connettivo ’xor’

Invito alla
Logica
Matematica Date p e q si puó affermare “p o q ma non entrambe”, che è
attraverso gli
Indovinelli vera quando solo una delle due proposizioni componenti è vera
R. De Leo (disgiunzione esclusiva).
deleo@unica.it
In logica si indica con p Y q
Tavola di verità:

p q pYq
V V F
V F V
F V V
F F F

Esempio: o la borsa o la vita!

12 / 40
 Il connettivo ’e’

Invito alla
Logica
Matematica
Date p e q si puó affermare “sia p che q”, vera quando
attraverso gli
Indovinelli
entrambe sono vere.
R. De Leo In logica si indica con p ∧ q
deleo@unica.it
Tavola di verità:

p q p∧q
V V V
V F F
F V F
F F F

∧ corrisponde in insiemistica a ∩:
A ∩ B = {x|(x ∈ A) ∧ (x ∈ B)}.
13 / 40
 Il connettivo ’e’

Invito alla
Logica
Matematica
Date p e q si puó affermare “sia p che q”, vera quando
attraverso gli
Indovinelli
entrambe sono vere.
R. De Leo In logica si indica con p ∧ q
deleo@unica.it
Tavola di verità:

p q p∧q
V V V
V F F
F V F
F F F

∧ corrisponde in insiemistica a ∩:
A ∩ B = {x|(x ∈ A) ∧ (x ∈ B)}.
13 / 40
 Il connettivo ’e’

Invito alla
Logica
Matematica
Date p e q si puó affermare “sia p che q”, vera quando
attraverso gli
Indovinelli
entrambe sono vere.
R. De Leo In logica si indica con p ∧ q
deleo@unica.it
Tavola di verità:

p q p∧q
V V V
V F F
F V F
F F F

∧ corrisponde in insiemistica a ∩:
A ∩ B = {x|(x ∈ A) ∧ (x ∈ B)}.
13 / 40
 Il connettivo ’e’

Invito alla
Logica
Matematica
Date p e q si puó affermare “sia p che q”, vera quando
attraverso gli
Indovinelli
entrambe sono vere.
R. De Leo In logica si indica con p ∧ q
deleo@unica.it
Tavola di verità:

p q p∧q
V V V
V F F
F V F
F F F

∧ corrisponde in insiemistica a ∩:
A ∩ B = {x|(x ∈ A) ∧ (x ∈ B)}.
13 / 40
 Il connettivo ’implica’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione, ad esempio “x = 2 ⇒ x2 = 4”. Si dovrebbe
R. De Leo interpretare come “non è possibile che sia vero q quando p è
deleo@unica.it
falso”.
In logica si indica con p → q
Tavola di verità:
p q p→q
V V V
V F F
F V V
F F V

→ corrisponde in insiemistica a ⊆: A ⊆ B sse x ∈ A → x ∈ B.

14 / 40
 Il connettivo ’implica’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione, ad esempio “x = 2 ⇒ x2 = 4”. Si dovrebbe
R. De Leo interpretare come “non è possibile che sia vero q quando p è
deleo@unica.it
falso”.
In logica si indica con p → q
Tavola di verità:
p q p→q
V V V
V F F
F V V
F F V

→ corrisponde in insiemistica a ⊆: A ⊆ B sse x ∈ A → x ∈ B.

14 / 40
 Il connettivo ’implica’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione, ad esempio “x = 2 ⇒ x2 = 4”. Si dovrebbe
R. De Leo interpretare come “non è possibile che sia vero q quando p è
deleo@unica.it
falso”.
In logica si indica con p → q
Tavola di verità:
p q p→q
V V V
V F F
F V V
F F V

→ corrisponde in insiemistica a ⊆: A ⊆ B sse x ∈ A → x ∈ B.

14 / 40
 Il connettivo ’implica’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione, ad esempio “x = 2 ⇒ x2 = 4”. Si dovrebbe
R. De Leo interpretare come “non è possibile che sia vero q quando p è
deleo@unica.it
falso”.
In logica si indica con p → q
Tavola di verità:
p q p→q
V V V
V F F
F V V
F F V

→ corrisponde in insiemistica a ⊆: A ⊆ B sse x ∈ A → x ∈ B.

14 / 40
 Il connettivo ’equivale a’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione nei due sensi, cioè sia p → q che q → p; ad es.
R. De Leo
“x = 2, −2 ⇔ x2 = 4”.
deleo@unica.it
In logica si indica con p ↔ q
Tavola di verità:

p q p↔q
V V V
V F F
F V F
F F V

L’operatore ↔ corrisponde in insiemistica a =:

A = B se e solo se x ∈ A ↔ x ∈ B.
15 / 40
 Il connettivo ’equivale a’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione nei due sensi, cioè sia p → q che q → p; ad es.
R. De Leo
“x = 2, −2 ⇔ x2 = 4”.
deleo@unica.it
In logica si indica con p ↔ q
Tavola di verità:

p q p↔q
V V V
V F F
F V F
F F V

L’operatore ↔ corrisponde in insiemistica a =:

A = B se e solo se x ∈ A ↔ x ∈ B.
15 / 40
 Il connettivo ’equivale a’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione nei due sensi, cioè sia p → q che q → p; ad es.
R. De Leo
“x = 2, −2 ⇔ x2 = 4”.
deleo@unica.it
In logica si indica con p ↔ q
Tavola di verità:

p q p↔q
V V V
V F F
F V F
F F V

L’operatore ↔ corrisponde in insiemistica a =:

A = B se e solo se x ∈ A ↔ x ∈ B.
15 / 40
 Il connettivo ’equivale a’

Invito alla
Logica
Matematica
Questo connettivo cerca di rappresentare il concetto di
attraverso gli
Indovinelli
implicazione nei due sensi, cioè sia p → q che q → p; ad es.
R. De Leo
“x = 2, −2 ⇔ x2 = 4”.
deleo@unica.it
In logica si indica con p ↔ q
Tavola di verità:

p q p↔q
V V V
V F F
F V F
F F V

L’operatore ↔ corrisponde in insiemistica a =:

A = B se e solo se x ∈ A ↔ x ∈ B.
15 / 40
 Traduzione dal linguaggio naturale

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Il linguaggio naturale è molto complesso, per tradurre una frase
R. De Leo nella logica proposizionale bisogna semplificarla al massimo.
deleo@unica.it
Il primo passo è di “riscrivere” la frase eliminando tutte le
“ellissi” che si fanno nel linguaggio comune. Ad es. “Pula è un
paese ed una parola di quattro lettere” si deve rifrasare come
“Pula è un paese e Pula è una parola di quattro lettere”.
Poi bisogna identificare le proposizioni “atomiche” ed indicarle
con una lettera.
Infine bisogna capire quale connettivo corrisponde ai connettivi
della lingua comune.

16 / 40
 Traduzione dal linguaggio naturale

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Il linguaggio naturale è molto complesso, per tradurre una frase
R. De Leo nella logica proposizionale bisogna semplificarla al massimo.
deleo@unica.it
Il primo passo è di “riscrivere” la frase eliminando tutte le
“ellissi” che si fanno nel linguaggio comune. Ad es. “Pula è un
paese ed una parola di quattro lettere” si deve rifrasare come
“Pula è un paese e Pula è una parola di quattro lettere”.
Poi bisogna identificare le proposizioni “atomiche” ed indicarle
con una lettera.
Infine bisogna capire quale connettivo corrisponde ai connettivi
della lingua comune.

16 / 40
 Traduzione dal linguaggio naturale

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Il linguaggio naturale è molto complesso, per tradurre una frase
R. De Leo nella logica proposizionale bisogna semplificarla al massimo.
deleo@unica.it
Il primo passo è di “riscrivere” la frase eliminando tutte le
“ellissi” che si fanno nel linguaggio comune. Ad es. “Pula è un
paese ed una parola di quattro lettere” si deve rifrasare come
“Pula è un paese e Pula è una parola di quattro lettere”.
Poi bisogna identificare le proposizioni “atomiche” ed indicarle
con una lettera.
Infine bisogna capire quale connettivo corrisponde ai connettivi
della lingua comune.

16 / 40
 Traduzione dal linguaggio naturale

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Il linguaggio naturale è molto complesso, per tradurre una frase
R. De Leo nella logica proposizionale bisogna semplificarla al massimo.
deleo@unica.it
Il primo passo è di “riscrivere” la frase eliminando tutte le
“ellissi” che si fanno nel linguaggio comune. Ad es. “Pula è un
paese ed una parola di quattro lettere” si deve rifrasare come
“Pula è un paese e Pula è una parola di quattro lettere”.
Poi bisogna identificare le proposizioni “atomiche” ed indicarle
con una lettera.
Infine bisogna capire quale connettivo corrisponde ai connettivi
della lingua comune.

16 / 40
 Esempi

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it
Mario è uno studente ed un lavoratore
Mario, che è uno studente, è anche un lavoratore
Mario non solo è uno studente ma è anche un lavoratore
sono del tutto equivalenti e vanno tradotte usando il connettivo
∧.

17 / 40
 Esempi

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it
Una frase del tipo “hanno la laurea in filosofia o matematica”
rivolta ad un insieme di concorrenti per un posto di ricercatore
in logica sicuramente va tradotta con ∨ perché qualcuno
potrebbe avere la laurea in entrambe, ma la frase “o si vince o
si perde” dev’essere senz’altro tradotta con Y.

18 / 40
 Esempi

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

Frasi come “Sarete promossi se studierete” e “Sarete promossi

solo se studierete” si traducono come p → q e ∼ p →∼ q.
In particolare la equivalenza logica p ↔ q corrisponde a “Sarete
promossi se e solo se studierete”.

19 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Tautologie e contraddizioni

Invito alla
Logica
Matematica
Una tautologia è una proposizione che è sempre vera,
attraverso gli
Indovinelli
indipendentemente dai valori di verità delle proposizioni che la
R. De Leo
compongono.
deleo@unica.it
Una contraddizione è esattamente l’opposto di una tautologia,
cioè rimane falsa qualunque siano i valori di verità delle
proposizioni che la compongono.
Esempi:
• p∨ ∼ p (Terzo escluso)
• ∼ (p∧ ∼ p) (Legge di non contraddizione)
• ∼ (∼ p) ↔ p (Legge della doppia negazione)
• (p∧ ∼ p) → q (Ex falso sequitur quodlibet)
• ((p ↔ q) ↔ r) ↔ (p ↔ (q ↔ r))

20 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Il Sistema di deduzione naturale

Invito alla
Logica 1 Se p → q e p →∼ q allora ∼ p (Introduzione della
Matematica
attraverso gli negazione)
Indovinelli

R. De Leo
2 Se ∼ (∼ p) allora p (Eliminazione della doppia negazione)
deleo@unica.it
3 Se p e q allora p ∧ q (Introduzione della congiunzione)
4 Se p ∧ q allora sia p che q (Eliminazione della
congiunzione)
5 Se p (o q) allora p ∨ q (Introduzione della disgiunzione)
6 Se p ∨ q, p → r e q → r allora r (Elim. della disg.)
7 Se p → q e q → p allora p ↔ q (Introduzione di ↔)
8 Se p ↔ q allora sia p → q che q → p (Elim. di ↔)
9 Se p e p → q allora q (Eliminazione del condizionale)
10 Se dall’assunzione di p riusciamo a dim. q allora p → q
(Dim. cond. – intr. del condiz.)
21 / 40
 Gli Indovinelli

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

22 / 40
 Chi è Matto?

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

23 / 40
 Il Bruco e la Lucertola

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

24 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 Soluzione

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli b = “Il Bruco è savio”, l = “La Lucertola è savia”
R. De Leo b ↔ (∼ b∧ ∼ l)
deleo@unica.it
Soluzione:
Eliminando l’equivalenza logica (8) otteniamo
b → (∼ b∧ ∼ l)
Eliminando la congiunzione (3), b →∼ b.
Dato che anche b → b, usiamo (1) e deduciamo ∼ b,
cioé il Bruco è matto!
Allora ∼ (∼ b∧ ∼ l)
cioè b ∨ l
Ma dato che b è falsa allora l dev’esser vera,
cioè la Lucertola è savia!
25 / 40
 La Cuoca e il Gatto

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

26 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Traduzione in Formule:
R. De Leo
deleo@unica.it
c = “La Cuoca è savia”, g = “Il Gatto del Cheshire è savio”
c ↔ (∼ c∨ ∼ g)
Soluzione:
Ovviamente p ↔ q equivale a ∼ p ↔∼ q, per cui
∼ c ↔∼ (∼ c∨ ∼ g) ↔ c ∧ g
Esattamente come prima dunque succede che ∼ c → c,
cioè ∼ c dev’essere falsa!
Dunque la cuoca è savia e quindi è vero che ∼ c∨ ∼ g
da cui necessariamente ∼ g, cioè il Gatto dev’essere matto!

27 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Traduzione in Formule:
R. De Leo
deleo@unica.it
c = “La Cuoca è savia”, g = “Il Gatto del Cheshire è savio”
c ↔ (∼ c∨ ∼ g)
Soluzione:
Ovviamente p ↔ q equivale a ∼ p ↔∼ q, per cui
∼ c ↔∼ (∼ c∨ ∼ g) ↔ c ∧ g
Esattamente come prima dunque succede che ∼ c → c,
cioè ∼ c dev’essere falsa!
Dunque la cuoca è savia e quindi è vero che ∼ c∨ ∼ g
da cui necessariamente ∼ g, cioè il Gatto dev’essere matto!

27 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Traduzione in Formule:
R. De Leo
deleo@unica.it
c = “La Cuoca è savia”, g = “Il Gatto del Cheshire è savio”
c ↔ (∼ c∨ ∼ g)
Soluzione:
Ovviamente p ↔ q equivale a ∼ p ↔∼ q, per cui
∼ c ↔∼ (∼ c∨ ∼ g) ↔ c ∧ g
Esattamente come prima dunque succede che ∼ c → c,
cioè ∼ c dev’essere falsa!
Dunque la cuoca è savia e quindi è vero che ∼ c∨ ∼ g
da cui necessariamente ∼ g, cioè il Gatto dev’essere matto!

27 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Traduzione in Formule:
R. De Leo
deleo@unica.it
c = “La Cuoca è savia”, g = “Il Gatto del Cheshire è savio”
c ↔ (∼ c∨ ∼ g)
Soluzione:
Ovviamente p ↔ q equivale a ∼ p ↔∼ q, per cui
∼ c ↔∼ (∼ c∨ ∼ g) ↔ c ∧ g
Esattamente come prima dunque succede che ∼ c → c,
cioè ∼ c dev’essere falsa!
Dunque la cuoca è savia e quindi è vero che ∼ c∨ ∼ g
da cui necessariamente ∼ g, cioè il Gatto dev’essere matto!

27 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Traduzione in Formule:
R. De Leo
deleo@unica.it
c = “La Cuoca è savia”, g = “Il Gatto del Cheshire è savio”
c ↔ (∼ c∨ ∼ g)
Soluzione:
Ovviamente p ↔ q equivale a ∼ p ↔∼ q, per cui
∼ c ↔∼ (∼ c∨ ∼ g) ↔ c ∧ g
Esattamente come prima dunque succede che ∼ c → c,
cioè ∼ c dev’essere falsa!
Dunque la cuoca è savia e quindi è vero che ∼ c∨ ∼ g
da cui necessariamente ∼ g, cioè il Gatto dev’essere matto!

27 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli Traduzione in Formule:
R. De Leo
deleo@unica.it
c = “La Cuoca è savia”, g = “Il Gatto del Cheshire è savio”
c ↔ (∼ c∨ ∼ g)
Soluzione:
Ovviamente p ↔ q equivale a ∼ p ↔∼ q, per cui
∼ c ↔∼ (∼ c∨ ∼ g) ↔ c ∧ g
Esattamente come prima dunque succede che ∼ c → c,
cioè ∼ c dev’essere falsa!
Dunque la cuoca è savia e quindi è vero che ∼ c∨ ∼ g
da cui necessariamente ∼ g, cioè il Gatto dev’essere matto!

27 / 40
 Domestico-Pesce e Domestico-Rana

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

28 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
Traduzione in Formule:
R. De Leo
p = “Il Dom.-Pesce è savio”, r = “Il Dom.-Rana è savio”
deleo@unica.it
p ↔ (p ↔ r)
Soluzione:
L’equivalenza logica è associativa:
(p ↔ q) ↔ r è equivalente a p ↔ (q ↔ r)
Dunque p ↔ (p ↔ r) equivale a (p ↔ p) ↔ r
ma p ↔ p è una tautologia per cui r è vera,
cioè il Domestico-Rana è savio!
Del Domestico-Pesce non si puó concludere nulla.

29 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
Traduzione in Formule:
R. De Leo
p = “Il Dom.-Pesce è savio”, r = “Il Dom.-Rana è savio”
deleo@unica.it
p ↔ (p ↔ r)
Soluzione:
L’equivalenza logica è associativa:
(p ↔ q) ↔ r è equivalente a p ↔ (q ↔ r)
Dunque p ↔ (p ↔ r) equivale a (p ↔ p) ↔ r
ma p ↔ p è una tautologia per cui r è vera,
cioè il Domestico-Rana è savio!
Del Domestico-Pesce non si puó concludere nulla.

29 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
Traduzione in Formule:
R. De Leo
p = “Il Dom.-Pesce è savio”, r = “Il Dom.-Rana è savio”
deleo@unica.it
p ↔ (p ↔ r)
Soluzione:
L’equivalenza logica è associativa:
(p ↔ q) ↔ r è equivalente a p ↔ (q ↔ r)
Dunque p ↔ (p ↔ r) equivale a (p ↔ p) ↔ r
ma p ↔ p è una tautologia per cui r è vera,
cioè il Domestico-Rana è savio!
Del Domestico-Pesce non si puó concludere nulla.

29 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
Traduzione in Formule:
R. De Leo
p = “Il Dom.-Pesce è savio”, r = “Il Dom.-Rana è savio”
deleo@unica.it
p ↔ (p ↔ r)
Soluzione:
L’equivalenza logica è associativa:
(p ↔ q) ↔ r è equivalente a p ↔ (q ↔ r)
Dunque p ↔ (p ↔ r) equivale a (p ↔ p) ↔ r
ma p ↔ p è una tautologia per cui r è vera,
cioè il Domestico-Rana è savio!
Del Domestico-Pesce non si puó concludere nulla.

29 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
Traduzione in Formule:
R. De Leo
p = “Il Dom.-Pesce è savio”, r = “Il Dom.-Rana è savio”
deleo@unica.it
p ↔ (p ↔ r)
Soluzione:
L’equivalenza logica è associativa:
(p ↔ q) ↔ r è equivalente a p ↔ (q ↔ r)
Dunque p ↔ (p ↔ r) equivale a (p ↔ p) ↔ r
ma p ↔ p è una tautologia per cui r è vera,
cioè il Domestico-Rana è savio!
Del Domestico-Pesce non si puó concludere nulla.

29 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Indovinelli
Traduzione in Formule:
R. De Leo
p = “Il Dom.-Pesce è savio”, r = “Il Dom.-Rana è savio”
deleo@unica.it
p ↔ (p ↔ r)
Soluzione:
L’equivalenza logica è associativa:
(p ↔ q) ↔ r è equivalente a p ↔ (q ↔ r)
Dunque p ↔ (p ↔ r) equivale a (p ↔ p) ↔ r
ma p ↔ p è una tautologia per cui r è vera,
cioè il Domestico-Rana è savio!
Del Domestico-Pesce non si puó concludere nulla.

29 / 40
 Un indovinello delle Olimpiadi (Febbraio 2009)

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

30 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Soluzione
Traduzione in Formule:, x = “X dice la verità”
Invito alla
Logica
1 l ↔ (m ∧ p)
Matematica
attraverso gli 2 m ↔ (∼ l∧ ∼ n)
Indovinelli
3 n ↔ (m ↔∼ p)
R. De Leo
deleo@unica.it
4 p ↔ (l ↔∼ n)
Soluzione:
Da (3) e (4) troviamo che p ↔ (l ↔ (m ↔ p))
Dunque p ↔ ((l ↔ m) ∧ p)
e p ↔ (p ↔ (l ↔ m))
e (p ↔ p) ↔ (l ↔ m)
Ma a sinistra c’è una tautologia, per cui l ↔ m
cioè Luca e Maria o mentono o dicono entrambi la verità!
Da (2) allora m ↔ (∼ m∧ ∼ n) per cui ∼ m e quindi ∼ l!
Da (1) e (2) quindi p e n. Quindi due mentono e due no.
31 / 40
 Il Re e la Regina di Cuori

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

32 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Traduzione in Formule:
Indovinelli
k = “Il Re è savio”, q = “La Regina è savia”,
R. De Leo
deleo@unica.it q ↔ (k ↔ (q ↔ (k ↔∼ q)))
Soluzione:
Usiamo a ripetizione assoc. e comm. dell’equiv. logica:
q ↔ (k ↔∼ q) è equivalente a q ↔ (∼ q ↔ k)
e quindi a (q ↔∼ q) ↔ k
Dunque dire k ↔ (q ↔ (k ↔∼ q))
è come dire k ↔ ((q ↔∼ q) ↔ k)
o anche k ↔ (k ↔ (q ↔∼ q))

33 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Traduzione in Formule:
Indovinelli
k = “Il Re è savio”, q = “La Regina è savia”,
R. De Leo
deleo@unica.it q ↔ (k ↔ (q ↔ (k ↔∼ q)))
Soluzione:
Usiamo a ripetizione assoc. e comm. dell’equiv. logica:
q ↔ (k ↔∼ q) è equivalente a q ↔ (∼ q ↔ k)
e quindi a (q ↔∼ q) ↔ k
Dunque dire k ↔ (q ↔ (k ↔∼ q))
è come dire k ↔ ((q ↔∼ q) ↔ k)
o anche k ↔ (k ↔ (q ↔∼ q))

33 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Traduzione in Formule:
Indovinelli
k = “Il Re è savio”, q = “La Regina è savia”,
R. De Leo
deleo@unica.it q ↔ (k ↔ (q ↔ (k ↔∼ q)))
Soluzione:
Usiamo a ripetizione assoc. e comm. dell’equiv. logica:
q ↔ (k ↔∼ q) è equivalente a q ↔ (∼ q ↔ k)
e quindi a (q ↔∼ q) ↔ k
Dunque dire k ↔ (q ↔ (k ↔∼ q))
è come dire k ↔ ((q ↔∼ q) ↔ k)
o anche k ↔ (k ↔ (q ↔∼ q))

33 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Traduzione in Formule:
Indovinelli
k = “Il Re è savio”, q = “La Regina è savia”,
R. De Leo
deleo@unica.it q ↔ (k ↔ (q ↔ (k ↔∼ q)))
Soluzione:
Usiamo a ripetizione assoc. e comm. dell’equiv. logica:
q ↔ (k ↔∼ q) è equivalente a q ↔ (∼ q ↔ k)
e quindi a (q ↔∼ q) ↔ k
Dunque dire k ↔ (q ↔ (k ↔∼ q))
è come dire k ↔ ((q ↔∼ q) ↔ k)
o anche k ↔ (k ↔ (q ↔∼ q))

33 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Traduzione in Formule:
Indovinelli
k = “Il Re è savio”, q = “La Regina è savia”,
R. De Leo
deleo@unica.it q ↔ (k ↔ (q ↔ (k ↔∼ q)))
Soluzione:
Usiamo a ripetizione assoc. e comm. dell’equiv. logica:
q ↔ (k ↔∼ q) è equivalente a q ↔ (∼ q ↔ k)
e quindi a (q ↔∼ q) ↔ k
Dunque dire k ↔ (q ↔ (k ↔∼ q))
è come dire k ↔ ((q ↔∼ q) ↔ k)
o anche k ↔ (k ↔ (q ↔∼ q))

33 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
Traduzione in Formule:
Indovinelli
k = “Il Re è savio”, q = “La Regina è savia”,
R. De Leo
deleo@unica.it q ↔ (k ↔ (q ↔ (k ↔∼ q)))
Soluzione:
Usiamo a ripetizione assoc. e comm. dell’equiv. logica:
q ↔ (k ↔∼ q) è equivalente a q ↔ (∼ q ↔ k)
e quindi a (q ↔∼ q) ↔ k
Dunque dire k ↔ (q ↔ (k ↔∼ q))
è come dire k ↔ ((q ↔∼ q) ↔ k)
o anche k ↔ (k ↔ (q ↔∼ q))

33 / 40
 Soluzione

Invito alla
Logica
Matematica
A sua volta k ↔ (k ↔ (q ↔∼ q)) equivale a
attraverso gli
Indovinelli
(k ↔ k) ↔ (q ↔∼ q)
R. De Leo
deleo@unica.it
In conclusione quindi la formula iniziale
q ↔ (k ↔ (q ↔ (k ↔∼ q)))
si puó riscrivere come
q ↔ ((k ↔ k) ↔ (q ↔∼ q))
Ma k ↔ k è una tautologia
mentre q ↔∼ q è una contraddizione
Non sono equivalenti!
Dunque q è equivalente ad una proposizione falsa
e quindi ∼ q è vera, cioè la Regina è matta!
Del Re invece non si può dire nulla.
34 / 40
 Soluzione

Invito alla
Logica
Matematica
A sua volta k ↔ (k ↔ (q ↔∼ q)) equivale a
attraverso gli
Indovinelli
(k ↔ k) ↔ (q ↔∼ q)
R. De Leo
deleo@unica.it
In conclusione quindi la formula iniziale
q ↔ (k ↔ (q ↔ (k ↔∼ q)))
si puó riscrivere come
q ↔ ((k ↔ k) ↔ (q ↔∼ q))
Ma k ↔ k è una tautologia
mentre q ↔∼ q è una contraddizione
Non sono equivalenti!
Dunque q è equivalente ad una proposizione falsa
e quindi ∼ q è vera, cioè la Regina è matta!
Del Re invece non si può dire nulla.
34 / 40
 Soluzione

Invito alla
Logica
Matematica
A sua volta k ↔ (k ↔ (q ↔∼ q)) equivale a
attraverso gli
Indovinelli
(k ↔ k) ↔ (q ↔∼ q)
R. De Leo
deleo@unica.it
In conclusione quindi la formula iniziale
q ↔ (k ↔ (q ↔ (k ↔∼ q)))
si puó riscrivere come
q ↔ ((k ↔ k) ↔ (q ↔∼ q))
Ma k ↔ k è una tautologia
mentre q ↔∼ q è una contraddizione
Non sono equivalenti!
Dunque q è equivalente ad una proposizione falsa
e quindi ∼ q è vera, cioè la Regina è matta!
Del Re invece non si può dire nulla.
34 / 40
 Soluzione

Invito alla
Logica
Matematica
A sua volta k ↔ (k ↔ (q ↔∼ q)) equivale a
attraverso gli
Indovinelli
(k ↔ k) ↔ (q ↔∼ q)
R. De Leo
deleo@unica.it
In conclusione quindi la formula iniziale
q ↔ (k ↔ (q ↔ (k ↔∼ q)))
si puó riscrivere come
q ↔ ((k ↔ k) ↔ (q ↔∼ q))
Ma k ↔ k è una tautologia
mentre q ↔∼ q è una contraddizione
Non sono equivalenti!
Dunque q è equivalente ad una proposizione falsa
e quindi ∼ q è vera, cioè la Regina è matta!
Del Re invece non si può dire nulla.
34 / 40
 Soluzione

Invito alla
Logica
Matematica
A sua volta k ↔ (k ↔ (q ↔∼ q)) equivale a
attraverso gli
Indovinelli
(k ↔ k) ↔ (q ↔∼ q)
R. De Leo
deleo@unica.it
In conclusione quindi la formula iniziale
q ↔ (k ↔ (q ↔ (k ↔∼ q)))
si puó riscrivere come
q ↔ ((k ↔ k) ↔ (q ↔∼ q))
Ma k ↔ k è una tautologia
mentre q ↔∼ q è una contraddizione
Non sono equivalenti!
Dunque q è equivalente ad una proposizione falsa
e quindi ∼ q è vera, cioè la Regina è matta!
Del Re invece non si può dire nulla.
34 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

35 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

36 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli 3 ↔∼ 1
R. De Leo
deleo@unica.it

36 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli 3 ↔∼ 1
R. De Leo
deleo@unica.it 4 ↔∼ (∼ 3∧ ∼ 2)

36 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli 3 ↔∼ 1
R. De Leo
deleo@unica.it 4 ↔∼ (∼ 3∧ ∼ 2)
5 ↔ (1 ↔ 4)

36 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli 3 ↔∼ 1
R. De Leo
deleo@unica.it 4 ↔∼ (∼ 3∧ ∼ 2)
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)

36 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli 3 ↔∼ 1
R. De Leo
deleo@unica.it 4 ↔∼ (∼ 3∧ ∼ 2)
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)
7 ↔∼ 5

36 / 40
 Il Fante di Cuori

Invito alla
Logica
Matematica Traduzione in Formule:
attraverso gli
Indovinelli 3 ↔∼ 1
R. De Leo
deleo@unica.it 4 ↔∼ (∼ 3∧ ∼ 2)
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)
7 ↔∼ 5
F ↔∼ (∼ 6∧ ∼ 7)

36 / 40
 Soluzione

Invito alla Traduzione in Formule:

Logica
Matematica 3 ↔∼ 1
attraverso gli
Indovinelli
4 ↔∼ (∼ 3∧ ∼ 2)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)
7 ↔∼ 5
F ↔∼ (∼ 6∧ ∼ 7)

37 / 40
 Soluzione

Invito alla Traduzione in Formule:

Logica
Matematica 3 ↔∼ 1
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)
7 ↔∼ 5
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)
7 ↔∼ 5
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4)
6 ↔ (1 ∧ 2)
7 ↔∼ 5
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4) F ↔ ((1 ∧ 2)∨ ∼ (1 ↔ 4))
6 ↔ (1 ∧ 2)
7 ↔∼ 5
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4) F ↔ ((1 ∧ 2)∨ ∼ (1 ↔ 4))
6 ↔ (1 ∧ 2) F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ 4))
7 ↔∼ 5
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4) F ↔ ((1 ∧ 2)∨ ∼ (1 ↔ 4))
6 ↔ (1 ∧ 2) F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ 4))
7 ↔∼ 5 F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (3 ∨ 2)))
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4) F ↔ ((1 ∧ 2)∨ ∼ (1 ↔ 4))
6 ↔ (1 ∧ 2) F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ 4))
7 ↔∼ 5 F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (3 ∨ 2)))
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼ F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (∼ 1 ∨ 2)))

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4) F ↔ ((1 ∧ 2)∨ ∼ (1 ↔ 4))
6 ↔ (1 ∧ 2) F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ 4))
7 ↔∼ 5 F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (3 ∨ 2)))
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼ F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (∼ 1 ∨ 2)))
Se ci pensate, p ↔ (p ∨ q) equivale a ∼ (∼ p ∧ q).

37 / 40
 Soluzione

Invito alla Traduzione in Formule: Soluzione:

Logica
Matematica 3 ↔∼ 1 F ↔ (6 ∨ 7)
attraverso gli
Indovinelli
4↔
↔∼ ∨ 23)∧ ∼ 2)
(3(∼ F ↔ ((1 ∧ 2)∨ ∼ 5)
R. De Leo
deleo@unica.it
5 ↔ (1 ↔ 4) F ↔ ((1 ∧ 2)∨ ∼ (1 ↔ 4))
6 ↔ (1 ∧ 2) F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ 4))
7 ↔∼ 5 F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (3 ∨ 2)))
F↔
↔∼ ∨ 76)∧ ∼ 7)
(6(∼ F ↔ ((1 ∧ 2) ∨ (∼ 1 ↔ (∼ 1 ∨ 2)))
Se ci pensate, p ↔ (p ∨ q) equivale a ∼ (∼ p ∧ q).
Dunque F ↔ ((1 ∧ 2)∨ ∼ (1 ∧ 2))
cioé il Fante è savio indipendentemente da 1 e 2!

37 / 40
 Chi ha rubato le torte?

Invito alla
Logica
Matematica
attraverso gli
Indovinelli

R. De Leo
deleo@unica.it

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli

R. De Leo
deleo@unica.it

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)
Ghi ↔ (Cuo ∧ Bru)

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)
Ghi ↔ (Cuo ∧ Bru)
Cap ↔ (Gat ∨ Bru)

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)
Ghi ↔ (Cuo ∧ Bru)
Cap ↔ (Gat ∨ Bru)
Luc ↔ (Lep ∨ Ghi)

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)
Ghi ↔ (Cuo ∧ Bru)
Cap ↔ (Gat ∨ Bru)
Luc ↔ (Lep ∨ Ghi)
Fan ↔ (Cuo ∧ Cap)

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)
Ghi ↔ (Cuo ∧ Bru)
Cap ↔ (Gat ∨ Bru)
Luc ↔ (Lep ∨ Ghi)
Fan ↔ (Cuo ∧ Cap)
Con ↔ (Luc∧ ∼ Fan)

38 / 40
 Chi ha rubato le torte?

Invito alla
Traduzione in Formule:
Logica X = “X dice la verità”
Matematica
attraverso gli x = “X ha rubato la torta”
Indovinelli
gri Y tar
R. De Leo
deleo@unica.it Duc ↔∼ gri
Cuo ↔ α
Gat ↔ β
Bru ↔ γ
Lep ↔ (Cuo ∧ Gat)
Ghi ↔ (Cuo ∧ Bru)
Cap ↔ (Gat ∨ Bru)
Luc ↔ (Lep ∨ Ghi)
Fan ↔ (Cuo ∧ Cap)
Con ↔ (Luc∧ ∼ Fan)
Con ↔ Duc
38 / 40
 Soluzione

Invito alla
Logica
Matematica
attraverso gli
1. gri Y tar
Indovinelli 2. Duc ↔∼ gri
R. De Leo
deleo@unica.it
3. Cuo ↔ α
4. Gat ↔ β
5. Bru ↔ γ
6. Lep ↔ (Cuo ∧ Gat)
7. Ghi ↔ (Cuo ∧ Bru)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri
R. De Leo
deleo@unica.it
3. Cuo ↔ α
4. Gat ↔ β
5. Bru ↔ γ
6. Lep ↔ (Cuo ∧ Gat)
7. Ghi ↔ (Cuo ∧ Bru)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α
4. Gat ↔ β
5. Bru ↔ γ
6. Lep ↔ (Cuo ∧ Gat)
7. Ghi ↔ (Cuo ∧ Bru)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ
6. Lep ↔ (Cuo ∧ Gat)
7. Ghi ↔ (Cuo ∧ Bru)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat)

7. Ghi ↔ (Cuo ∧ Bru)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru) Ma (α ∧ β) ∨ (α ∧ γ)
8. Cap ↔ (Gat ∨ Bru)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru) Ma (α ∧ β) ∨ (α ∧ γ)
8. Cap ↔ (Gat ∨ Bru) equivale a α ∧ ( β ∨ γ)
9. Luc ↔ (Lep ∨ Ghi)
10. Fan ↔ (Cuo ∧ Cap)
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru) Ma (α ∧ β) ∨ (α ∧ γ)
8. Cap ↔ (Gat ∨ Bru) equivale a α ∧ ( β ∨ γ)
9. Luc ↔ (Lep ∨ Ghi) Per cui
10. Fan ↔ (Cuo ∧ Cap) Duc ↔ {[α ∧ ( β ∨ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}
11. Con ↔ (Luc∧ ∼ Fan)
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru) Ma (α ∧ β) ∨ (α ∧ γ)
8. Cap ↔ (Gat ∨ Bru) equivale a α ∧ ( β ∨ γ)
9. Luc ↔ (Lep ∨ Ghi) Per cui
10. Fan ↔ (Cuo ∧ Cap) Duc ↔ {[α ∧ ( β ∨ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}
11. Con ↔ (Luc∧ ∼ Fan) Quella a destra è una tautologia!
12. Con ↔ Duc

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru) Ma (α ∧ β) ∨ (α ∧ γ)
8. Cap ↔ (Gat ∨ Bru) equivale a α ∧ ( β ∨ γ)
9. Luc ↔ (Lep ∨ Ghi) Per cui
10. Fan ↔ (Cuo ∧ Cap) Duc ↔ {[α ∧ ( β ∨ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}
11. Con ↔ (Luc∧ ∼ Fan) Quella a destra è una tautologia!
12. Con ↔ Duc Dunque la Duchessa dice la verità

39 / 40
 Soluzione

Invito alla
Logica Soluzione:
Matematica
attraverso gli
1. gri Y tar Basta capire se la Duchessa mente o no (2)
Indovinelli 2. Duc ↔∼ gri Da (11) e (12), Duc ↔ (Luc∧ ∼ Fan)
R. De Leo
deleo@unica.it
3. Cuo ↔ α e, a cascata,
4. Gat ↔ β Duc ↔ ((Lep ∨ Ghi)∧ ∼ (Cuo ∧ Cap))
5. Bru ↔ γ Duc ↔ (((Cuo ∧ Gat) ∨ (Cuo ∧ Bru))∧ ∼ (Cuo ∧ (Gat ∨ Bru)))

6. Lep ↔ (Cuo ∧ Gat) Duc ↔ {[(α ∧ β) ∨ (α ∧ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}

7. Ghi ↔ (Cuo ∧ Bru) Ma (α ∧ β) ∨ (α ∧ γ)
8. Cap ↔ (Gat ∨ Bru) equivale a α ∧ ( β ∨ γ)
9. Luc ↔ (Lep ∨ Ghi) Per cui
10. Fan ↔ (Cuo ∧ Cap) Duc ↔ {[α ∧ ( β ∨ γ)]∧ ∼ [α ∧ ( β ∨ γ)]}
11. Con ↔ (Luc∧ ∼ Fan) Quella a destra è una tautologia!
12. Con ↔ Duc Dunque la Duchessa dice la verità
e il Grifone è innocente.
39 / 40
 Letture Consigliate

Invito alla
Logica
Matematica
attraverso gli http://utenti.quipo.it/base5/idxcollez.htm#logica
Indovinelli
http://www2.polito.it/didattica/polymath/htmlS/info/CapitoloPrimo/CapitoloPrimo.htm
R. De Leo
deleo@unica.it E. Bencivenga: Il mio primo libro di Logica
D. Hofstadter: Gödel, Escher, Bach.
R. Smullyan: tutti quelli che potete trovare!
M. Gardner: idem!

40 / 40