Help Me.Metodi di dimostrazione
salve, devo fare tra pochi giorni l'esame di logica matematica e dovrei imparare bene un metodo di dimostrazione tra:
HILBERT
GENTZEN
DEDUZIONE NATURALE
Quale mi consigliate voi? Qual è il piu semplice e il piu "meccanico" dove non si deve ragionare moltissimo ma è piu una questione di esercizio?
GRAZIE
p.s. Sapete qualche sito dove prendere degli appunti per questo metodo, per integrare quelli del mio prof?
ciao
HILBERT
GENTZEN
DEDUZIONE NATURALE
Quale mi consigliate voi? Qual è il piu semplice e il piu "meccanico" dove non si deve ragionare moltissimo ma è piu una questione di esercizio?
GRAZIE
p.s. Sapete qualche sito dove prendere degli appunti per questo metodo, per integrare quelli del mio prof?
ciao
Risposte
Gentzen, calcolo dei sequenti. Deduzione naturale al secondo posto (più naturale, ma meno meccanica).
Cos'è una dimostrazione? Una summa logica in cui la ragione pura si manifesta nei tre momenti hegeliani di tesi antitesi e sintesi!
Semplice, banale oserei affermare.
Semplice, banale oserei affermare.
Cos'è una dimostrazione? Una summa logica in cui la ragione pura si manifesta nei tre momenti hegeliani di tesi antitesi e sintesi!
Semplice, banale oserei affermare.
Semplice e banale, nonché un regresso di duecento anni nella nostra conoscenza della logica
Perchè regresso?
Regresso perché le opinioni hegeliane erano antecedenti alla matematizzazione della logica e quindi allo sviluppo fecondo che ha sottratto la logica alle chiacchere sterili dei filosofi.
ah non lo sapevo! E quindi le dimostrazioni di newton non hanno più valore?
ah non lo sapevo! E quindi le dimostrazioni di newton non hanno più valore?
Una dimostrazione di Newton vale $2^100$ pagine di Hegel. O meglio: $2^100$ pagine di Hegel non valgono una dimostrazione di Newton.
sto provando con la deduzione naturale, mi dite se ho fatto bene questi esercizi?
A,A --> B |- A and B
A A-->B
--------------------
A B
-----------------------------
A and B
A, B ---> A |- A and B questa invece è falsa, se per esempio prendiamo A vero e B falso l'espressione alla destra di quel simbolo che non so come si chiama è falsa, quindi non si deve dimostrare. spero che le dimostrazioni si siano incolonnate bene
A,A --> B |- A and B
A A-->B
--------------------
A B
-----------------------------
A and B
A, B ---> A |- A and B questa invece è falsa, se per esempio prendiamo A vero e B falso l'espressione alla destra di quel simbolo che non so come si chiama è falsa, quindi non si deve dimostrare. spero che le dimostrazioni si siano incolonnate bene
questa è giusta?
(P V Q)--->R, Q--->P,Q |- R
non vengono incolonnate bene le dimostrazione ma penso che si capisca
Q Q-->P
------------------
P Q
-------------------------
(P V Q) (P V Q)---->R
------------------------------------------------
R
(P V Q)--->R, Q--->P,Q |- R
non vengono incolonnate bene le dimostrazione ma penso che si capisca
Q Q-->P
------------------
P Q
-------------------------
(P V Q) (P V Q)---->R
------------------------------------------------
R
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo