Esercitazioni di Logica

More documents

Recommendations

Info

4) Determinare, attraverso il diagramma di Venn, se la seguente forma sillogistica è valida.Nessun A è MTutti gli M sono B_______________Nessun B è ACome si può vedere dal diagramma, la verità della conclusione NON discende necessariamentedalla verità delle premesse. Infatti, la zona di intersezione tra B e A non è oscurata.Concludiamo che la forma sillogistica data non è valida.
Logica dei predicatiSi traducano nella logica dei predicati del I ordine (si usi la notazione del Varzi) i seguentienunciati:1) Antonio dorme.Per ‘Antonio’ si usi ‘a’, per ‘dorme’ si usi ‘D’.Da2) Antonio non è un unicorno.Si usi ‘a’ per ‘Antonio’ e ‘U’ per ‘unicorno’.¬Ua3) Bruno odia PaoloSi usi ‘O’ per ‘odia’, ‘b’ per ‘Bruno’ e ‘c’ per ‘Paolo’.Obc4) Tutti amano Antonio.Si usi ‘A’ per ‘ama’ e ‘a’ per ‘Antonio’.∀xAxa5) Antonio ama tutti.Si usi ‘A’ per ‘ama’ e ‘a’ per ‘Antonio’.∀xAax6) Qualcuno vuole tutto.Si usi ‘V’ per ‘vuole’.∀x∃yVyx7) Carla ama un meccanico.Si usi ‘M’ per ‘meccanico’, ‘A’ per ‘ama’ e ‘c’ per ‘Carla’.∃x(Mx ∧ Acx)
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: Questo accade perché sulle zone no
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 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?