Esercitazioni di Logica

∀x(Ix →∀y(Pyx→ Dyx))Ogni ignorante è deriso da tutti quelli più ignoranti di lui e più ottusi di luiPer il predicato ‘ignorante’ si usi ‘I’; per il predicato ‘più ignorante’ si usi ‘P’; per il predicato ‘piùottuso’ si usi ‘O’; per il predicato ‘deridere’ si usi ‘D’.∀x(Ix → x è deriso da quelli più ignoranti di lui e più ottusi di lui)∀x(Ix →∀y((Pyx ∧ Oyx)→ Dyx))Tutti i presentatori che non hanno la voce squillante sono noiosiPer il predicato ‘presentatore’ si usi ‘P’; per il predicato ‘avere la voce squillante’ si usi ‘S’; per ilpredicato ‘noioso’ si usi ‘N’.∀x((Px ∧ ¬Sx) → x è noioso)∀x((Px ∧ ¬Sx) → Nx)Qualche presentatore con la voce squillante è noiosoPer il predicato ‘presentatore’ si usi ‘P’; per il predicato ‘avere la voce squillante’ si usi ‘S’; per ilpredicato ‘noioso’ si usi ‘N’.∃x(Px ∧ Sx ∧ Nx)Tutti i presentatori che non hanno la voce squillante sono noiosi e qualche presentatore con la vocesquillante è noiosoPer il predicato ‘presentatore’ si usi ‘P’; per il predicato ‘avere la voce squillante’ si usi ‘S’; per ilpredicato ‘noioso’ si usi ‘N’.∀x((Px ∧ ¬Sx) →Nx) ∧ (qualche presentatore con la voce squillante è noioso)∀x((Px ∧ ¬Sx) →Nx) ∧ ∃x(Px ∧ Sx ∧ Nx)Ogni cane morde qualche gattoPer il predicato ‘cane’ si usi ‘C’; per il predicato ‘mordere’ si usi ‘M’; per il predicato ‘gatto’ si usi‘G’.∀x(Cx → x morde qualche gatto)∀x(Cx → ∃y(Gy ∧ Mxy))