Esercitazioni di Logica

Tutti i gatti che non vedono nulla sono morsi da tutti i caniPer il predicato ‘cane’ si usi ‘C’; per il predicato ‘mordere’ si usi ‘M’; per il predicato ‘gatto’ si usi‘G’; per il predicato ‘vedere’ si usi ‘V’.∀x((Gx ∧ x non vede nulla) → x è morso da tutti i cani)∀x((Gx ∧ ¬∃yVxy) → x è morso da tutti i cani)∀x((Gx ∧ ¬∃yVxy) → ∀z(Cz → Mzx))Ogni cane morde qualche gatto e tutti i gatti che non vedono nulla sono morsi da tutti i caniPer il predicato ‘cane’ si usi ‘C’; per il predicato ‘mordere’ si usi ‘M’; per il predicato ‘gatto’ si usi‘G’; per il predicato ‘vedere’ si usi ‘V’.∀x(Cx → ∃y(Gy ∧ Mxy)) ∧ ∀x((Gx ∧ ¬∃yVxy) → ∀z(Cz → Mzx))Se uno studente studia bene il latino, nessun professore lo respingeràPer il predicato ‘studente’ si usi ‘S’; per il predicato ‘studiare bene’ si usi ‘B’; per il predicato‘professore’ si usi ‘P’; per il predicato ‘respingerà’ si usi ‘R’; per la costante individuale ‘illatino’ si usi ‘a’.∀x((Sx ∧ Bxa) → nessun professore respingerà x)∀x((Sx ∧ Bxa) → ¬∃y(Py ∧ Ryx))Nessuna sarda è alta e grassaPer il predicato ‘sarda’ si usi ‘S’; per il predicato ‘alta’ si usi ‘A’; per il predicato ‘grassa’ si usi‘G’.¬∃xSx ∧ Ax ∧ Gxoppure∀xSx →¬Ax ∧ GxNessuna rana è arancione, ma qualcuna è marroncinaPer il predicato ‘rana’ si usi ‘R’; per il predicato ‘arancione’ si usi ‘A’; per il predicato‘marroncina’ si usi ‘M’.