Formalizzare adeguatamente una delle seguenti argomentazioni e dimostrarne la validità mediante il sistema dei tableaux.
Se non tutte le epiche sono state composte dallo stesso autore e Omero non ne ha composta una sola allora le opere epiche sono almeno tre.
Se nessuno è amico di chi non gli amico, ma alcuni sono i peggiori nemici di se stessi, allora non è detto che gli amici dei nostri amici siano nostri amici.
Se una relazione è simmetrica ma non riflessiva allora non è transitiva.
Problema 2
Si formalizzi mediante l’introduzione di un opportuno connettivo ternario il senso ordinario della seguente frase:
“solamente due delle seguenti tre possibilità … possono essere contemporaneamente vere.”
Si dia la tabella di verità del connettivo ternario
Si diano opportune regole formali nella forma di tableaux adeguate ad analizzare tale connettivo
Problema 3
Dimostrare, mediante il metodo dei tableaux, la validità del seguente sillogismo, chiamato anticamente fesapo, nell’ipotesi che esistano esseri perfetti:
Nessun (uomo) è (un essere) perfetto
Ogni essere perfetto è un filosofo.
Qualche filosofo non è un uomo.
Problema 4
Si indichi un ragionamento errato trovato in un articolo di giornale o un libro di testo o un compito d’esame.
Nessun commento:
Posta un commento