[A-L] (20 Settembre 2024) Esercizio 5

[FeddyLix17]

• Tizio dice: Caio e Sempronio non sono entrambi ladri.

• Caio dice: Sempronio è un ladro se Tizio non è un ladro.

• Sempronio dice: Non sono un ladro e almeno uno degli altri due è un ladro.

---

1. Formulare le tre testimonianze in un adeguato linguaggio proposizionale (dichiarando il significato delle variabili scelte).
   [1 punto]

2. È possibile che tutti e tre dicano il vero? (Suggerimento: scrivere la tavola di verità) [2 punti]

3. Assumendo che chi è un ladro ha mentito e chi non è un ladro ha detto il vero, si può stabilire chi è un ladro e chi no? (Giustificare brevemente la risposta). [2 punti]