Problema 1
Formalizzare adeguatamente una delle seguenti argomentazioni e dimostrarne la validità mediante il sistema dei tableaux.
Se Omero non ha composto un’unica epica allora ne ha composte almeno due oppure non ne ha composta nessuna.
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 al più 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 (se possibile si cerchi un’espressione concisa)
si diano opportune regole formali nella forma di tableaux adeguate ad analizzare tale connettivo
Problema 3
Verificare la validità del seguente sillogismo chiamato anticamente disarmis?
Alcuni studenti di logica sono felici.
Ogni studente di logica è filosofo.
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.
Si dia una tabella di verità plausibile, eventualmente parziale, per i seguenti due funtori proposizionali
φ come se ψ
φ anche se non ψ
Nessun commento:
Posta un commento