Logica (a.a. 2016-2017 – I semestre)
Compito 4
Valore: 2 punti
Distribuito: Lunedì 5 Dicembre
Consegna: Lunedì 12 Dicembre
Nome e cognome: …..................................................................................
Tradurre queste argomentazioni nel linguaggio della logica del prim’ordine e, se sono
validi, dimostrarne la validità con il metodo della deduzione naturale:
1) Nessun dualista (D) è nominalista (N); ogni realista (R) è dualista; quindi, non ci
sono realisti che sono nominalisti.
2) Ogni dualista è nominalista; ci sono realisti dualisti; quindi, qualche realista è
nominalista.
3) I nominalisti non sono dualisti; alcuni realisti sono dualisti; perciò, almeno un
realista non è nominalista.
4) Ci sono dualisti, sebbene siano tutti cartesiani (C); se c’è un dualista allora è
realista; dunque, ci sono realisti che sono cartesiani.
