[A-L] (3 Aprile 2023) Esercizio 5

[FeddyLix17]

A una festa vengono invitati Marco, Carla e Toni, che rilasciano le seguenti dichiarazioni.

• Marco dice: "O vengo io e non viene Toni oppure veniamo io e Carla."

• Carla dice: "Non vengono nè Marco nè Toni."

• Toni dice: “Marco viene e Carla non viene.”

---

1. Formalizzare le tre affermazioni in logica proposizionale scegliendo un linguaggio adeguato.

2. E possibile che tutti e tre dicano il vero? Argomentare

3. Se tutti dicono il falso, chi parteciperà sicuramente alla festa? Argomentare.

(NB: le argomentazioni vanno svolte preferibilmente in base alla formalizzazione proposta al punto 1 e
utilizzando le nozioni formali di assegnamento, soddisfazione, verità logica, tavola di verità etc.).