compito per casa 4
annuncio pubblicitario
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.