Esercitazioni di Logica

M: ItalianiA: EuropeiB: MessicaniCome 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 è totalmente oscurata.Concludiamo che l’argomento proposto non è valido.Sottolineare quelle stringhe che, secondo il linguaggio dei predicati del primo ordine (Varzi),sono enunciati (si tenga presente che sono state omesse le parentesi più esterne). Si trasforminoin enunciati le stringhe che non lo sono.1) ∀xFx → (Pa ∨ ∀xPx)2) ∀z(Fx → ∃xGxy)Non è un enunciato: ‘∀z’ è una quantificazione vuota, la prima occorrenza di ‘x’ è libera, e la ‘y’è libera.Riscritta nel seguente modo diventa un enunciato:∀z(Fz → ∃xGxz)3) ∀x(Fxx → ∃yPy)