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 e Omero ne ha composte almeno due allora le opere epiche non sono solamente 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.
Se ogni oggetto è in relazione con un altro secondo una relazione transitiva allora tale relazione è simmetrica solo se è riflessiva.
Problema 2
Si formalizzi mediante l’introduzione di un opportuno connettivo ternario il senso ordinario della seguente frase:
“almeno una delle seguenti tre proposizioni e vera e almeno una è falsa, 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 essere perfetto è filosofo.
Ogni filosofo è felice
Quindi, qualche essere perfetto è 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