Esercitazioni di Logica

ESERCITAZIONI 23.04.2013Tradurre nel linguaggio della Logica dei Predicati del primo ordine i seguenti enunciati.Le bugie hanno le gambe cortePer il predicato ‘bugia’ si usi ‘B’; per il predicato ‘hanno le gambe corte’ si usi ‘C’.∀x(Bx → x ha le gambe corte)∀x(Bx → Cx)Oppure:¬∃x(Bx ∧ ¬Cx)Un uomo ama una donnaPer il predicato ‘uomo’ si usi ‘U’; per il predicato ‘ama’ si usi ‘A’; per il predicato ‘donna’ si usi‘D’.∃x(Ux ∧ x ama una donna)∃x(Ux ∧ ∃y (Dy ∧ Axy))La forma prenessa è equivalente:∃x∃y(Ux ∧ Dy ∧ Axy)Carlo ama una donnaPer la costante individuale ‘Carlo’ si usi ‘c’; per il predicato ‘ama’ si usi ‘A’; per il predicato‘donna’ si usi ‘D’.∃x(Dx ∧ Carlo ama x)∃x(Dx ∧ Acx)Carlo ama MariaPer la costante individuale ‘Carlo’ si usi ‘c’; per il predicato ‘ama’ si usi ‘A’; per la costanteindividuale ‘Maria’ si usi ‘a’.Aca