Esercitazioni di Logica

Logica dei predicatiSi traducano nella logica dei predicati del I ordine (si usi la notazione del Varzi) i seguentienunciati:1) Antonio dorme.Per ‘Antonio’ si usi ‘a’, per ‘dorme’ si usi ‘D’.Da2) Antonio non è un unicorno.Si usi ‘a’ per ‘Antonio’ e ‘U’ per ‘unicorno’.¬Ua3) Bruno odia PaoloSi usi ‘O’ per ‘odia’, ‘b’ per ‘Bruno’ e ‘c’ per ‘Paolo’.Obc4) Tutti amano Antonio.Si usi ‘A’ per ‘ama’ e ‘a’ per ‘Antonio’.∀xAxa5) Antonio ama tutti.Si usi ‘A’ per ‘ama’ e ‘a’ per ‘Antonio’.∀xAax6) Qualcuno vuole tutto.Si usi ‘V’ per ‘vuole’.∀x∃yVyx7) Carla ama un meccanico.Si usi ‘M’ per ‘meccanico’, ‘A’ per ‘ama’ e ‘c’ per ‘Carla’.∃x(Mx ∧ Acx)