Problema 1
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 allora le opere epiche sono almeno due.
Supponiamo che una relazione riflessiva soddisfi la proprietà: due oggetti in relazione con un’altro sono in relazione tra loro. Si concluda che la relazione è simmetrica e transitiva.
Problema 2
Si formalizzi mediante l’introduzione di un opportuno connettivo ternario il senso ordinario della seguente frase:
“al più una delle seguenti tre proposizioni è vera e almeno una è vera, e non si danno altre possibilità”
si dia la tabella di verità del connettivo ternario
si esprima tale connettivo ternario utilizzando i connettivi classici
si diano opportune regole formali nella forma di tableaux adeguate ad analizzare tale connettivo
Problema 3
È valido il seguente sillogismo chiamato anticamente bramantip?
Ogni matematico è filosofo.
Qualche matematico è felice
Quindi, qualche filosofo è felice.
Problema 4
Si indichi un ragionamento che si ritiene errato trovato in un articolo di giornale, un libro di testo o un compito d’esame e si motivi perché lo si ritiene errato.
Nessun commento:
Posta un commento