[A-L] (16 Gennaio 2023) Esercizio 7

[FeddyLix17]

Formalizzare le frasi seguenti in un linguaggio proposizionale e determinare se l’ultima proposizione (che inizia con Dunque) è conseguenza logica della precedenti.

Potete usare un metodo a piacere (tavole di verità, risoluzione, ragionamento sulla conseguenza logica ad alto livello):

• Ogni caramella è o morbida o alla menta o rossa.

• Nessuna caramella rossa è alla menta.

• Nessuna caramella morbida è rossa.

• Dunque nessuna caramella alla menta è morbida.