Esercitazioni di Logica

More documents

Recommendations

Info

∀x(Rx → (x è verde ma x non è testarda))∀x(Rx → (Vx ∧ ¬Tx))Oppure:¬∃x(Rx ∧ (¬Vx ∧ Tx))Oppure, secondo una diversa interpretazione dell’enunciato:∀x(Rx → x è verde) ∧ ∀x(Rx → x non è testarda)∀x(Rx → Vx) ∧ ∀x(Rx → ¬Tx)Oppure:¬∃x(Rx ∧ ¬Vx) ∧ ¬∃x(Rx ∧ Tx)Sara invidia qualcuno ma non tuttiSi usi ‘a’ per la costante individuale ‘Sara’ e ‘I’ per il predicato ‘invidia’.∃xIax ∧ a non invidia tutti∃xIax ∧ ¬∀xIaxOppure:¬∀x¬Iax ∧ ¬∀xIaxOppure:¬∀x¬Iax ∧ ∃x¬IaxOppure:∃xIax ∧ ∃x¬IaxTutti i ragazzi belli sono più alti di qualche ragazzo simpatico.Per il predicato ‘ragazzo’ si usi ‘R’; per il predicato ‘bello’ si usi ‘B’; per il predicato ‘simpatico’si usi ‘S’; per il predicato ‘più alto’ si usi ‘P’.∀x((Rx ∧ Bx) → x è più alto di qualche ragazzo simpatico)
∀x((Rx ∧ Bx) → ∃y(Ry ∧ Sy ∧ Pxy))Tutti sono più bassi di qualcuno e Luca è BugiardoUtilizzare ‘P’ per ‘più basso’; utilizzare ‘B’ per ‘bugiardo’; utilizzare ‘a’ per ‘Luca’.∀x(x è più basso di qualcuno) ∧ Ba∀x∃yPxy ∧ BaUna ragazza ha vinto tutti i premiSi usi ‘R’ per ‘ragazza’; ‘V’ per ‘ha vinto’ e ‘P’ per premio.∃x(Rx ∧ x ha vinto tutti i premi)∃x(Rx ∧ ∀y(Py → Vxy))
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: Carla si è fatta conoscere a Bruno
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?