Problema 1
Si formalizzi adeguatamente una delle seguenti argomentazioni e se ne dimostri la validità mediante il sistema dei tableaux.
Se Omero ha composto almeno due epiche e gli autori epici sono almeno due, allora le epiche sono almeno tre.
Supponiamo che una relazione riflessiva soddisfi la seguente proprietà ulteriore: due oggetti in relazione con lo stesso sono in relazione tra loro. Allora la relazione è anche simmetrica.
Problema 2
Si formalizzi mediante l’introduzione di un opportuno connettivo ternario il senso ordinario della seguente frase:
“la prima delle seguenti tre proposizioni è vera se e solo se lo è al più una delle altre due 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 baroco nel medioevo?
Tutti gli uomini sono razionali.
Qualche animale non è razionale
Qualche animale non è uomo.
Problema 4
Si riporti 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 tale.
Si proponga una tabella di verità, anche parziale, per formalizzare come funtore proposizionale, l’uso corrente delle congiunzioni “perché” e “purché”, nel loro uso corrente.
Nessun commento:
Posta un commento