Esercitazioni di Logica

More documents

Recommendations

Info

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)
10) Ogni genitore di Antonio è padre di Antonio o madre di Antonio.Si usi ‘G’ per ‘genitore di’, ‘P’ per ‘padre di’, ‘M’ per ‘madre di’ e ‘a’ per ‘Antonio’.∀x(Gxa → (Pxa ∨ Mxa))
Page 1 and 2: Esercitazioni di Logica21 Marzo 201
Page 3 and 4: 3) Si costruisca un sillogismo di I
Page 11 and 12: 11) Si costruisca un sillogismo di
Page 17 and 18: Logica dei predicatiSi traducano ne
Page 19 and 20: Esercitazioni di Logica28 Marzo 201
Page 21 and 22: Questo accade perché sulle zone no
Page 23 and 24: Logica dei predicatiSi traducano ne
Page 25 and 26: ∀x(Ax → ¬Mx)∀x(Mx → Bx)___
Page 27 and 28: ∀x(Ix →∀y(Pyx→ Dyx))Ogni ig
Page 29 and 30: ¬∃(Rx ∧ Ax) ∧ qualche rana
Page 31 and 32: Carla si è fatta conoscere a Bruno
Page 33 and 34: ∀x((Rx ∧ Bx) → ∃y(Ry ∧ Sy
Page 35 and 36: Come si può vedere dal diagramma,
Page 37 and 38: Qualche alieno è marzianoTutti i m
Page 39: 4) ∀x∃y(Fx ∨ Gyx)5) ∀x(Gxa

Esercitazioni di Logica

Create successful ePaper yourself

Delete template?

Save as template?