Esercitazioni di Logica

2) A volte le rane sono verdi.Si usi ‘R’ per ‘rana’ e ‘V’ per ‘verde’.∃x(Rx ∧ Vx)3) Ogni zio di Carla è fratello di qualche genitore di Carla.Si usi ‘Z’ per ‘zio di’, ‘c’ per ‘Carla’, ‘F’ per ‘fratello di’ e ‘G’ per ‘genitore di’.∀x(Zxc → ∃y(Gyc ∧ Fxy))4) Ogni nonno è più anziano di tutti i suoi nipoti.Si usi ‘N’ per ‘nonno di’, ‘A’ per ‘ più anziano’ e ‘G’ per ‘nipote’.∀x∀y((Nxy ∧ Gyx) → Axy)5) Se Alessandra non studia non supera l’esame.Si usi ‘a’ per ‘Alessandra’, ‘S’ per ‘studia’ e ‘E’ per ‘supera l’esame’.(¬Sa → ¬Ea)6) Qualcuno presenta Giuseppe a tutti.Si usi ‘P’ per ‘presentare’ e ‘g’ per ‘Giuseppe’.∃x∀yPxgy7) Esiste un barbiere che taglia i capelli a tutti coloro che non se li tagliano da sé.Si usi ‘B’ per ‘barbiere’e ‘T’ per ‘taglia i capelli’.∃x(Bx ∧ ∀y(¬Tyy → Txy))8) Non c’è nessuno più stupido di tutti.Si usi ‘P’ per ‘più stupido’.¬∃x∀yPxy9) Tutti i sardi che mangiano qualche animale non sono vegetariani.Si usi ‘S’ per ‘sardo’, ‘M’ per ‘mangiare’, ‘A’ per ‘animale’ e ‘V’ per ‘vegetariani’.∀x((Sx ∧ ∃y(Ay ∧ Mxy)) → ¬Vx)