Cavalieri e furfanti

La proposizione P pronunciata da X può essere riscritta in questo modo: P: «X è un furfante o Y è un furfante».

Nella logica delle proposizioni, infatti, la disgiunzione o ha un valore inclusivo: affermare che «X è un furfante

o Y è un furfante» equivale ad affermare che almeno uno fra X e Y è un furfante (ciò vuol dire che potrebbero

essere entrambi furfanti).

Per quanto affermato in 3, X è un cavaliere oppure un furfante: non ci sono altre possibilità. Supponiamo, che

X sia un furfante; in tal caso, per l’affermazione 2, la proposizione P è ........

Da ciò puoi dedurre che sia X

sia Y sarebbero

(a)  

• cavalieri
• furfanti

Questa conclusione è compatibile con l’ipotesi che X sia un furfante?

• SI

• NO

Perché?

Da quanto hai ricavato, X deve essere un

(a)  

• cavaliere
• furfante

Quindi, per l’affermazione 1, X dice la verità o il falso?

• vero

• falso

Allora, la proposizione P deve essere.....

• vera

• falsa

Ciò equivale a dire che almeno una fra le proposizioni «X è un furfante» e «Y è un furfante», che compongono P, deve essere.....

• vera

• falsa

Ma «X è un furfante» è​ ​ (a)   , quindi «Y è un furfante» è ​ ​ (b)  

In definitiva, possiamo affermare che X è​ (c)   un e Y è un (d)   .​

• furfante
• cavaliere
• FALSO
• VERO