Esercitazioni di Logica

More documents

Recommendations

Info

8) Un’infermiera ama un meccanico.Si usi ‘I’ per ‘infermiera’, ‘M’ per ‘meccanico’, ‘A’ per ‘ama’ e ‘c’ per ‘Carla’.∃x∃y((Ix ∧ My) ∧ Axy)(Si noti che le due parentesi interne possono essere omesse)oppure:∃x(Ix ∧ ∃y(My ∧ Axy))9) Tutti gli svedesi sono alti e bion<strong>di</strong>Si usi ‘S’ per ‘svedese’, ‘A’ per ‘alto’ e ‘B’ per ‘Biondo’.∀x(Sx → (Ax ∧ Bx))10) C’è qualcuno che ama tutti.Si usi ‘A’ per ‘ama’.∀x∃yAyx11) Tutti amano qualcuno.Si usi ‘A’ per ‘amano’.∀x∃yAxy12) Nessuno è stupido.Si usi ‘S’ per ‘stupido’.¬∃xSxoppure:∀x¬Sx13) Formalizzare il seguente sillogismo:Nessun A è MTutti gli M sono B_________________Qualche B non è A
∀x(Ax → ¬Mx)∀x(Mx → Bx)____________∃x(Bx ∧ ¬Ax)
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: Logica dei predicatiSi traducano ne
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 and 40: 4) ∀x∃y(Fx ∨ Gyx)5) ∀x(Gxa
Page 41: 10) Ogni genitore di Antonio è pad

Esercitazioni di Logica

Create successful ePaper yourself

Delete template?

Save as template?