Esercitazioni di Logica

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 biondiSi 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