![Page 1: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/1.jpg)
Calcolo proposizionale
Unit 2 – Corso di Logica e Teoria dell’Argomentazione
![Page 2: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/2.jpg)
Sommario
• Proprietà del calcolo proposizionale• Regole di inferenza ipotetiche e non• Regole derivate• Teoremi• Equivalenze
![Page 3: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/3.jpg)
Natura formale
• Finora: logica proposizionale e la nozione di validità sono state trattate in modo statico, attraverso la loro semantica (tavole di verità, interpretazioni)
• Ma le inferenze logiche sono dinamiche: come rendiamo conto della logica come motore inferenziale?
• Il calcolo proposizionale è una costruzione formale a sé stante, in cui l’interpretazione è secondaria (interviene solo successivamente e come aggiunta esterna)
![Page 4: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/4.jpg)
Un altro metodo: le derivazioni
• Le nozioni semantiche non sembrano necessarie. Esistono altri metodi usando solo la struttura linguistica proposizionale?
• Nuovo metodo (introdotto da G. Gentzen): per dimostrare se una forma argomentativa è deduttivamente valida costruiamo una successione di passaggi inferenziali a partire dalle premesse fino alla conclusione, senza alcun riferimento al significato di ogni formula usata
![Page 5: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/5.jpg)
Regole e calcolo
Calcolo proposizionale (o calcolo della
deduzione naturale)
Insieme di Regole di inferenza derivazione
(dimostrazione,deduzione):
sequenza di fbf, ciascuna ottenuta applicando una
regola d’inferenza
di cui esistono diverse versioni…
![Page 6: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/6.jpg)
Dagli assiomi alla conclusione
• Le premesse sono assunte come vere, e prendono il nome di assiomi– Non vi è alcuna limitazione al numero di assiomi
• La conclusione viene ottenuta con una successione di passaggi inferenziali– Non vi sono limitazioni al numero di passaggi
inferenziali– Una derivazione può avere sotto-derivazioni
all’interno, cioè “nidificate” (che portano a dimostrare fbf intermedie)
– Le derivazioni non sono meccaniche (come le tavole di verità): occorre una discreta dose di creatività
![Page 7: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/7.jpg)
Regole ipotetiche e non
• Regole non ipotetiche: le inferenze si basano su premesse sempre vere
• Regole ipotetiche: le inferenze passano attraverso un’ipotesi considerata momentaneamente vera (ma che può essere vera o falsa), con lo scopo di derivare cosa ciò che essa implicherebbe
![Page 8: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/8.jpg)
Regola →E
• Regola →E (eliminazione del condizionale): da un condizionale e dal suo antecedente possiamo inferire il conseguente
f→y,f ⊢ y
• questa regola è ovvia (è il modus ponens). La sua validità è giustificata dalla tavola di verità del condizionale: se condizionale e antecedenti sono veri, è vero anche il conseguente.
f→yf:. y
![Page 9: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/9.jpg)
Esempio
• P→Q,Q→R,P⊢R
1 P→Q A2 Q→R A3 P A4 Q 1,3 →E5 R 2,4 →E
NB: Omettiamo i tre puntini a sinistra citando righe e regola usata a giustificazione del passaggio, in tal modo indicando implicitamente che si tratta di conclusioni
![Page 10: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/10.jpg)
Esempio
• P→(~Q→R),P,~Q⊢R
1 P→(~Q→R) A2 P A3 ~Q A4 ~Q→R 1,2 →E5 R 3,4 →E
![Page 11: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/11.jpg)
Regola ~E
• Regola ~E (eliminazione della negazione): da un fbf della forma ~~fpossiamo inferire f
~~f ⊢ f
• La validità di questa regola è giustificata dalla tavola di verità della negazione: il valore di verità della negazione della negazione di un enunciato è lo stesso dell’enunciato stesso
~~f:. f
![Page 12: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/12.jpg)
Esempio
• ~P→Q,~~~P⊢Q
1 ~P→Q A2 ~~~P A3 ~P 2 ~E4 Q 1,3 →E
![Page 13: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/13.jpg)
Esempio
• P→~~Q,~~P⊢Q
1 P→~~Q A2 ~~P A3 P 2 ~E4 ~~Q 1,3 →E5 Q 4 ~E
![Page 14: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/14.jpg)
Regola &E
• Regola &E (eliminazione della congiunzione): da una congiunzione possiamo inferire uno qualunque dei due congiunti
f&y ⊢ ff&y ⊢ y
• La validità di questa regola è giustificata dalla tavola di verità della congiunzione: se la congiunzione è vera allora, necessariamente, ogni congiunto è vero
f&y:. f
f&y:. y
![Page 15: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/15.jpg)
Esempio
• P→(Q&R),P⊢R
1 P→(Q&R) A2 P A3 Q&R 1,2 →E4 R 3 &E
![Page 16: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/16.jpg)
Esempio
• P→(Q&R),~~P&S⊢Q
1 P→(Q&R) A2 ~~P&S A3 ~~P 2 &E4 P 3 ~E5 (Q&R) 1,4 →E6 Q 5 &E
![Page 17: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/17.jpg)
Regola &I
• Regola &I (introduzione della congiunzione): da due fbf Φ e Ψqualsiasi possiamo inferire Φ&Ψ
Φ,Ψ ⊢ Φ&Ψ
• La validità di questa regola è giustificata dalla tavola di verità della congiunzione: se due proposizioni sono vere la loro congiunzione è vera
Φy:. Φ&Ψ
Φy:. Ψ&Φ
![Page 18: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/18.jpg)
Esempio
• P,Q,(P&Q)→R⊢R
1 P A2 Q A3 (P&Q)→R A4 P&Q 1,2 &I5 R 3,4 →E
![Page 19: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/19.jpg)
Esempio
• P→Q,~R,P,(Q&~R)→(S&T)⊢S
1 P→Q A2 ~R A3 P A4 (Q&~R)→(S&T) A5 Q 1,3 →E6 Q&~R 2,5 &I7 (S&T) 4,6 →E8 S 7 &E
![Page 20: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/20.jpg)
Regola vI
• Regola vI: (introduzione della disgiunzione): da una fbf Φ possiamo inferire la disgiunzione ΦvΨ di Φ con una fbf Ψ qualsiasi
Φ ⊢ ΦvΨ
• La validità di questa regola è giustificata dalla tavola di verità della disgiunzione: se almeno una proposizione è vera allora la loro disgiunzione è vera
Φ:. ΦvΨΦ
:. ΨvΦ
![Page 21: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/21.jpg)
Esempio
• P→Q,P&R⊢QvS
1 P→Q A2 P&R A3 P 2 &E4 Q 1,3 →E 5 QvS 4 vI
![Page 22: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/22.jpg)
Esempio
• P→Q,P,(Qv~R)→S⊢SvT
1 P→Q A2 P A3 (Qv~R)→S A4 Q 1,2 →E5 Qv~R 4 vI6 S 3,5 →E7 SvT 6 vI
![Page 23: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/23.jpg)
Regola vE
• Regola vE (eliminazione della disgiunzione): dalle fbf fvy, f→c e y→cpossiamo inferire c
fvy,f→c,y→c ⊢ c
• La validità è giustificata dal fatto che, per via delle due implicazioni, il conseguente è vero se uno qualsiasi degli antecedenti è vero, dunque se la loro disgiunzione è vera
fvyf→cy→c:. c
![Page 24: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/24.jpg)
Esempio
• PvQ,P→R,Q→R⊢RvS
1 PvQ A2 P→R A3 Q→R A4 R 1,2,3 vE5 RvS 4 vI
![Page 25: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/25.jpg)
Esempio
• P→(Q&S),Pv~R,~R→(Q&S)⊢S
1 P→(Q&S) A2 Pv~R A3 ~R→(Q&S) A4 Q&S 1,2,3 vE5 S 4 &E
![Page 26: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/26.jpg)
Regola ⟷E
• Regola ⟷E (eliminazione del bicondizionale): da una fbf della forma f⟷y possiamo inferire f→y o y→f
f⟷y ⊢ f→yf⟷y ⊢ y→f
• La validità di questa regola è ovvia vista l’equivalenza tra il bicondizionale e la congiunzione dei due condizionali
f⟷y:. f→y
f⟷y:. y→f
![Page 27: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/27.jpg)
Esempio
• P⟷Q,P,Q→R⊢R
1 P⟷Q A2 P A3 Q→R A4 P→Q 1 ⟷E5 Q 2,4 →E6 R 3,5 →E
![Page 28: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/28.jpg)
Esempio
• (P&S)⟷Q,Q,S→~R⊢~RvT
1 (P&S)⟷Q A2 Q A3 S→~R A4 Q→(P&S) 1 ⟷E 5 P&S 2,4 →E6 S 5 &E7 ~R 3,6 →E8 ~RvT 7 vI
![Page 29: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/29.jpg)
Regola ⟷I
• Regola ⟷I (introduzione del bicondizionale): da due fbf della forma f→y e y→f possiamo inferire f⟷y
f→y,y→f ⊢ f⟷y
• La validità di questa regola è ovvia vista l’equivalenza tra il bicondizionale e la congiunzione dei due condizionali
f→yy→f:. f⟷y
f→yy→f:. y⟷f
![Page 30: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/30.jpg)
Esempio
• P⟷Q⊢Q⟷P
1 P⟷Q A2 P→Q 1 ⟷E3 Q→P 1 ⟷E4 Q⟷P 2,3 ⟷I
![Page 31: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/31.jpg)
Regole ipotetiche
• Regole valide che utilizzano premesse ipotetiche, cioè assunzioni temporanee (con lo scopo di capire cosa succederebbe in tal caso)
• L’ipotesi (H) assunta non è vera, la si dà momentaneamente per vera e si dà corso allo sviluppo inferenziale per capire cosa succederebbe in tal caso, cioè a quale conclusione (C) si giungerebbe
• Al termine, l’ipotesi si scarica (cioè non viene più considerata come premessa da cui dipende la conclusione)
![Page 32: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/32.jpg)
A cosa si giunge?
• Siano H l’ipotesi inferenziale e C la conclusione della derivazione ipotetica, ci sono due possibilità– si giunge ad una conclusione ammissibile,
allora possiamo inferire che H→C (per cui se H fosse vera, sarebbe vera C)
– si giunge ad una conclusione contraddittoria, allora possiamo inferire ~H (in tal modo si elimina la contraddizione generata da H). E’ nota come dimostrazione per assurdo
• Espediente grafico: linea verticale per tutta l’argomentazione ipotetica
![Page 33: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/33.jpg)
Regola →I
• Regola →I (introduzione del condizionale): da una derivazione di una fbf y (ammissibile) con l’aiuto di una ipotesi f possiamo scaricare l’ipotesi e inferire f→y
• La validità di questa regola deriva dal fatto che supponendo una fbf vera abbiamo derivato la verità di un’altra fbf, ma poiché la prima fbf non è necessariamente vera, possiamo dedurne solo la loro implicazione
| f| …| yf→y
![Page 34: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/34.jpg)
Esempio
• P→Q,Q→R⊢P→R
1 P→Q A2 Q→R A3 | P H (→I)4 | Q 1,3 →E5 | R 2,4 →E6 P→R 3-5 →I
![Page 35: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/35.jpg)
Esempio
• P⊢R→R
1 P A2 | R H (→I)3 R→R 2 →I
![Page 36: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/36.jpg)
Esempio
• P→Q,(QvR)→P⊢P⟷(QvR)
1 P→Q A2 (QvR)→P A3 | P H (→I)4 | Q 1,3 →E 5 | QvR 4 vI6 P→(QvR) 3-5 →I7 P⟷(QvR) 2,6 ⟷I
![Page 37: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/37.jpg)
Esempio
• ~P→Q,R→S⊢(~P→(QvS))&(R→(QvS))
1 ~P→Q A2 R→S A3 | ~P H (→I)4 | Q 1,3 →E 5 | QvS 4 vI6 ~P→(QvS) 3-5 →I7 | R H (→I)8 | S 2,7 →E9 | QvS 8 vI10 R→(QvS) 7-9 →I11 (~P→(QvS))&(R→(QvS)) 6,10 &I
![Page 38: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/38.jpg)
Esempio
• P→S,(Q&S)→R⊢P→(Q→R)
1 P→S A2 (Q&S)→R A3 | P H (→I)4 | S 1,3 →E5 | | Q H (→I)6 | | Q&S 4,5 &I7 | | R 2,6 →E8 | Q→R 5-7 →I9 P→(Q→R) 3-8 →I
![Page 39: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/39.jpg)
Regola ~I
• Regola ~I (introduzione della negazione): se da un’ipotesi f si deriva un assurdo (una contraddizione) del tipo y&~y allora possiamo inferire ~f
• La validità di questa regola (dimostrazione per assurdo) deriva dal fatto che una contraddizione è necessariamente falsa, per cui nel processo inferenziale deve esserci (almeno) una premessa falsa: ma le altre premesse sono certe, dunque la premessa falsa è proprio l’ipotesi
| f| …| y&~y~f
![Page 40: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/40.jpg)
Esempio
• P→Q,~Q⊢~P
1 P→Q A2 ~Q A3 | P H (~I)4 | Q 1,3 →E5 | Q&~Q 2,4 &I6 ~P 3-5 ~I
![Page 41: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/41.jpg)
Esempio
• P→~Q⊢~(P&Q)
1 P→~Q A2 | P&Q H (~I)3 | P 2 &E4 | Q 2 &E5 | ~Q 1,3 →E6 | Q&~Q 4,5 &I7 ~(P&Q) 2-6 ~I
![Page 42: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/42.jpg)
Esempio
• ~P→P⊢P
1 ~P→P A2 | ~P H (~I)3 | P 1,2 →E4 | P&~P 2,3 &I5 ~~P 2-4 ~I6 P 5 ~E
![Page 43: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/43.jpg)
Osservazioni
• Ogni ipotesi assunta dà inizio ad una nuova linea ipotetica (graficamente con una linea verticale)
• Nessuna formula derivata da un’ipotesi può essere usata all’esterno della linea ipotetica
• Quando si assumono più ipotesi, l’ordine di scaricamento è inverso rispetto a quello di assunzione (se P si assume prima di Q, allora Q si deve scaricare prima di P)
• Fino a che non si siano scaricate tutte le ipotesi la dimostrazione non è completa
![Page 44: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/44.jpg)
1 ~(PvQ) A2 | P H (~I)3 | PvQ 2 vI4 | (PvQ)&~(PvQ) 1,3 &I5 ~P 2-4 ~I6 | Q H (~I)7 | PvQ 6 vI8 | (PvQ)&~(PvQ) 1,7 &I9 ~Q 6-8 ~I10 ~P&~Q 5,9 &I
~(PvQ)⊢~P&~QCerchiamo di dimostrare che sia P che Qportano ad un assurdo
~(PvQ)| P…| assurdo~P…| Q…| assurdo~Q~P&~Q
![Page 45: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/45.jpg)
1 ~Pv~Q A2 | ~P H (→I)3 | | P&Q H (~I)4 | | P 3 &E5 | | P&~P 2,4 &I6 | ~(P&Q) 3-5 ~I7 ~P→~(P&Q) 2-6 →I8 |~Q H (→I)9 | | P&Q H (~I)10 | | Q 9 &E11 | | Q&~Q 8,10 &I12 | ~(P&Q) 9-11 ~I13 ~Q→~(P&Q) 8-12 →I14 ~(P&Q) 1,7,13 vE
~Pv~Q⊢~(P&Q)Cerchiamo di dimostrare che ~P e ~Q portano alla stessa conclusione
~Pv~Q| ~P…| ~(P&Q)~P→~(P&Q)…| ~Q…| ~(P&Q)~Q→~(P&Q)~(P&Q)
![Page 46: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/46.jpg)
1 ~(P&Q) A2 | ~(~Pv~Q) H (~I)3 | | ~P H (~I)4 | | ~Pv~Q 3 vI5 | | ~Pv~Q&~(~Pv~Q) 2,4 &I6 | ~~P 3-5 ~I7 | P 6 ~E8 | | ~Q H (~I)9 | | ~Pv~Q 8 vI10 | | ~Pv~Q&~(~Pv~Q) 2,8 &I11 | ~~Q 8-10 ~I12 | Q 11 ~E13 | P&Q 7,12 &I14 | (P&Q)&(~(P&Q)) 1,13 &I15 ~~(~Pv~Q) 2-14 ~I16 ~Pv~Q 15 ~E
~(P&Q)⊢~Pv~Q Cerchiamo di dimostrare che la negazione della conclusione è un assurdo
~(P&Q)| ~(~Pv~Q)……| assurdo~~(~Pv~Q) ~Pv~Q
![Page 47: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/47.jpg)
Osservazioni
• In generale non esiste un solo modo di dimostrare una forma argomentativa
• Considerate l’operatore principale della formula conclusiva, generalmente esso permette di individuare una strategia vincente, in quanto si tratta dell’ultimo operatore da inserire. Poi a ritroso considerate il penultimo. E così via…
![Page 48: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/48.jpg)
Strategie dimostrative
• Spesso funzionano le seguenti strategie– per una negazione, dimostrare per via ipotetica
che la sua affermazione è assurda (~I)– per una congiunzione, dimostrare ciascun
congiunto e poi congiungerli (&I)– per una disgiunzione, dimostrare un disgiunto
oppure dimostrare per via ipotetica l’assurdità della negazione di un disgiunto (e poi vI)
– per un condizionale, dimostrare dall’ipotesi dell’antecedente il conseguente (→I)
– per un bicondizionale usare →I due volte
![Page 49: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/49.jpg)
Richieste sistemiche
P→Q,Q→R,P
R
siano date alcune fbf
Posso determinare se una fbf data
segue validamente?(decidibilità)
Posso trovare tutte le fbf che seguono validamente?
(completezza)
Posso dimostrare anche una fbf che non segue
validamente?(correttezza)
![Page 50: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/50.jpg)
Proprietà sistemiche
• Abbiamo già parlato della decidibilità: il sistema proposizionale è decidibile (data una qualunque forma argomentativa nel linguaggio è possibile stabilire meccanicamente se è valida o no)
• Il calcolo proposizionale è completo: tutte le forme valide possono essere dedotte (dimostrate) attraverso il calcolo proposizionale (ogni argomentazione valida può essere dedotta)
• Il calcolo proposizionale è corretto: in esso non è possibile generare fbf che non seguano validamente (non si possono produrre forme argomentative invalide)
![Page 51: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/51.jpg)
Correttezza e completezza
• Abbiamo detto che il sistema proposizionale è completo e corretto
• Le dieci regole d’inferenza (vE, &E, ⟷E, ~E, →E, vI, &I, ⟷I, →I, ~I) formano un sistema– completo: con esse possiamo derivare tutte le
forme valide della logica proposizionale – corretto: con esse possiamo derivare solo le
forme valide della logica proposizionale
![Page 52: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/52.jpg)
Non decidibilità di CP
• Le dieci regole d’inferenza (vE, &E, ⟷E, ~E, →E, vI, &I, ⟷I, →I, ~I) formano un sistema– Non decidibile: con esse possiamo
dimostrare tutte le forme valide, ma non possiamo dimostrare l’invalidità di una formula
– Se provassimo a dimostrare una forma invalida saremmo impegnati all’infinito senza successo: l’invalidità non è dimostrabile
• Attenzione, però: la decidibilità del sistema proposizionale è assicurata dalla procedura meccanica delle tavole di verità!
![Page 53: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/53.jpg)
Esempi per sostituzione
• Una volta dimostrata una forma valida, essa rimane tale se alle proposizioni semplici sostituiamo altre proposizioni semplici o complesse (la dimostrazione seguirebbe la stessa sequenza inferenziale)– Dalla validità (dimostrata) di P→~Q⊢~(P&Q)
segue la validità di– R→~S⊢~(R&S)
(con R al posto di P e S al posto di Q)– (RvT)→S⊢~((RvT)&~S)
(con RvT al posto di P e ~S al posto di Q)
![Page 54: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/54.jpg)
Regole Derivate
• Non aumentano le possibilità dimostrative delle regole di base (è già al massimo)
• Consistono in scorciatoie che possono abbreviare le dimostrazioni
• In virtù della sostituibilità, ogni forma dimostrata genera una corrispondente nuova regola d’inferenza detta regola derivata
• Ad alcune di loro (quelle più utili) viene dato un nome per citarle all’occorrenza
![Page 55: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/55.jpg)
Teorema
• I teoremi (o leggi del calcolo delle proposizioni) sono fbf che non hanno bisogno di alcuna premessa per essere dimostrate
• Semanticamente corrispondono alle tautologie, cioè alle fbf che valgono in ogni situazione logicamente possibile
• Per indicare che una fbf è un teorema si antepone il simbolo ‘⊢’ alla fbf– Esempio: ⊢P→P
![Page 56: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/56.jpg)
Esempi
• Dimostrare che P→P è un teorema⊢P→P
• Dimostrare che ~(P&~P) è un teorema⊢~(P&~P)
1 | P H (→I)2 P→P 1-1 →I
1 | P&~P H (~I)2 ~(P&~P) 1-1 ~I
![Page 57: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/57.jpg)
Esempi
• Dimostrare il teorema⊢P→(PvQ)
• Dimostrare il teorema⊢(P&Q)→P
1 | P H (→I)2 | PvQ 1 vI3 P→(PvQ) 1-2 →I
1 | P&Q H (→I)2 | P 1 &E3 P&Q→P 1-2 →I
![Page 58: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/58.jpg)
Esempio
• Dimostrare il teorema⊢P⟷~~P
1 | P H (→I)2 | | ~P H (~I)3 | | P&~P 1,2 &I4 | ~~P 2-3 ~I5 P→~~P 1-4 →I6 | ~~P H (→I)7 | P 6 ~E8 ~~P→P 6-7 →I9 P⟷~~P 5,8 ⟷I
![Page 59: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/59.jpg)
Esempio
• Dimostrare il teorema⊢Pv~P
1 | ~(Pv~P) H (~I)2 | | P H (~I)3 | | Pv~P 2 vI4 | | (Pv~P)&~(Pv~P) 1,3 &I5 | ~P 2-4 ~I6 | Pv~P 5 vI7 | (Pv~P)&~(Pv~P) 1,6 &I8 ~~(Pv~P) 1-7 ~I9 Pv~P 8 ~E
![Page 60: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/60.jpg)
Equivalenze
• I teoremi in forma bicondizionale (cioè del tipo (⊢Φ⟷Ψ) si dicono equivalenze, e Φ e Ψ si dicono equivalenti (o interderivabili)– Esempio: ⊢P⟷~~P
• Sostituibilità: se una fbf è ottenuta da un’altra fbf sostituendo una sottoformula con una fbf equivalente, allora la seconda fbf si può ottenere dalla prima fbf usando le dieci regole di inferenza– Esempio: poiché ⊢P⟷~~P siamo certi che P&Q e
~~P&Q sono interderivabili
![Page 61: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/61.jpg)
Esempi notevoli equivalenze
Doppia negazione DNDM Legge di De MorganDM Legge di De MorganCOM CommutazioneCOM CommutazioneASSOC AssociazioneASSOC AssociazioneDIST DistribuzioneDIST DistribuzioneTRAS Trasposizione
⊢P⟷~~P⊢~(PvQ)⟷~P&~Q⊢~(P&Q)⟷~Pv~Q⊢(PvQ)⟷(QvP)⊢(P&Q)⟷(Q&P)⊢(Pv(QvS))⟷((PvQ)vS)⊢(P&(Q&S))⟷((P&Q)&S)⊢(Pv(Q&S))⟷((PvQ)&(PvS)) ⊢(P&(QvS))⟷((P&Q)v(P&S))⊢(P→Q)⟷(~Q→~P)
![Page 62: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/62.jpg)
Esempi notevoli equivalenze
IM Implicazione materialeIM Implicazione materialeESP EsportazioneTAUT TautologiaTAUT Tautologia
⊢(P→Q)⟷(~PvQ)⊢(P→Q)⟷~(P&~Q)⊢((P&Q)→R)⟷(P→(Q→R))⊢P⟷(P&P)⊢P⟷(PvP)
![Page 63: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/63.jpg)
Quale vantaggio?
• Il calcolo proposizionale non sembra aver apportato molti vantaggi– Le derivazioni non hanno un carattere
meccanico (a differenza delle tavole di verità)– Ogni forma valida era già dimostrabile con le
tavole di verità– Non possiamo dimostrare l’invalidità (a
differenza delle tavole di verità)• Dunque nessun vantaggio nella risoluzione
di esempi. E allora?
![Page 64: Unit 2 – Corso di Logica e Teoria dell’Argomentazione](https://reader036.vdocuments.net/reader036/viewer/2022073023/62e499686c91bb324c10dbc0/html5/thumbnails/64.jpg)
Tuttavia…
• Le regole del calcolo proposizionale caratterizzano completamente tutto l’insieme delle regole logiche deduttive: dato un qualsiasi insieme di premesse le regole sono sufficienti a dimostrare tutte le possibili conseguenze logiche che ne derivano
• In altri termini, le regole d’inferenza sono i costituenti di base su cui si appoggia tutta la nostra logica deduttiva (a livello proposizionale)