LOGICA 6 cfu Programma d'esame a.a. 2018-19 gabriele.pulcini@unich.it
Testo completo
Documenti correlati
Utilizzando come lettera predicativa unicamente G(x, y) = “x `e geni- tore di y”, verificare la validit`a del ragionamento seguente :. Andrea e Carlo sono fratelli; Andrea ha
Corso di Logica Matematica. Anno
Se ` e vero che “chi disprezza, compra,” sar` a necessariamente vera anche una delle affermazioni seguenti:.. I chi non compra,
quoziente. Relazioni di ordine parziale, elementi massimali e minimali, massimo e minimo, insiemi totalmente
In particolare, verranno affrontati i seguenti argomenti: traduzione di enunciati del linguaggio naturale nel linguaggio formale, vari tipi di argomentazione e analisi della
Durante le prime lezioni, verranno comunque riprese le nozioni fondamentali della logica classica proposizionale in modo da colmare le eventuali lacune di coloro che si trovino
La prima operazione della mente si chiama la semplice apprensione, che produce il
Frege al termine del secolo XIX, la logica ha imparato a simbolizzare con lettere o altri segni non solo le variabili, gli argomenti dei predicati, ma i predicati stessi (terminali e