APPUNTI ILLOGICI - DEDUZIONE INNATURALE

Che cos' la deduzione naturale?

GHIOTTOLINO: Non so, chiedi a LUI.. LUI: Mmm, chiedi all'ALTRO... L'ALTRO: Non vorrei dire stupidaggini... 1. 1.1. Che cos'. La deduzione naturale un sistema di calcolo che permette di sviluppare dimostrazioni. propriet: Si parte dalle premesse e si arriva ad Gode delle seguenti una conclusione, tramite passi elementari.

Deduzione naturale

CORRETTEZZA: il sistema deduttivo non inferisce proposizioni non valide COMPLETEZZA: ogni formula valida dimostrabile con il sistema deduttivo

Un sistema deduttivo corretto e completo se inferisce tutte e sole le proposizioni valide. 1.2. Come funziona. Si procede dal basso verso l'alto: in basso c' la formula da dimostrare, e salendo si arriva alle ipotesi. presentate nella sezione 1.3. Le ipotesi vengono generate dall'applicazione delle regole. Sono le proposizioni atomiche scritte tra parentesi quadre [ ]. Ogni volta che una regola produce delle ipotesi, esse vanno scritte accanto al ramo che le ha generate. La dimostrazione termina quando, in cima all'albero delle prove, si ottengono le ipotesi man mano accumulate. Se arrivo ad una ipotesi, allora quel ramo terminato. Non necessario che tutte le ipotesi generate compaiano in cima all'albero. Le formule si applicano a partire dal connettivo pi esterno. Per risalire, si applicano le regole

APPUNTI ILLOGICI - DEDUZIONE INNATURALE

1.3. Regole.

e.1 P Q
P

e.2 P Q
Q

i
P Q

P Q i.1
P

P Q i.2
Q

P Q e
[P]

P Q e
P R

[Q] R

P Q
Q

i
P

P Q
Q

i
[P] Q

P Q e
P F

i
[P] F

P e
F P

Reductio ad Absurdum (RAA)

[ P ]
F P