Esercitazioni di Logica

More documents

Recommendations

Info

Esercitazioni di Logica2 Maggio 2013(Dott.ssa Alessandra Melas)Diagrammi di Venn1) Si costruisca un esempio di sillogismo di III figura in FERISON e si mostri la validità delsillogismo attraverso il diagramma di Venn.FERISONNessun M è AQualche M è B___________________Qualche B non è ANessun nano è altoQualche nano è bello___________________Qualche bello non è altoM: NanoA: AltoB: Bello
Come si può vedere dal diagramma, la verità della conclusione discende necessariamente dallaverità delle premesse. Per cui il sillogismo è valido.2) Si costruisca un esempio di sillogismo di IV figura in BRAMANTIP e se ne verifichi lavalidità attraverso il diagramma di Venn.BRAMANTIPTutti gli A sono MTutti gli M sono B____________________Qualche B è ATutti gli alieni sono marzianiTutti i marziani sono belli________________________Qualche bello è alienoM: MarzianoA: AlienoB: Bello
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: ∀x((Rx ∧ Bx) → ∃y(Ry ∧ Sy
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?