Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Sapienza
Info: g.paronitti@gmail.com
Sommario
Obiettivo principale
Comprendere luso rappresentativo della logica in
Intelligenza Artificiale
G. Paronitti - Logica
G. Paronitti - Logica
Proposizioni ed Enunciati
G. Paronitti - Logica
Esempi
- Sono proposizioni:
I cani non volano.
Robert Musil ha scritto Luomo senza qualit.
Bruxelles in Belgio o in Olanda.
2+2=5.
La neve rossa.
- Non sono proposizioni:
Chi lautore de Luomo senza qualit?
Per favore non chiamare dopo le 11 di sera.
Avanti!
G. Paronitti - Logica
Inferenza e argomentazione
Uninferenza un processo che, a partire da alcuni enunciati assunti come
punto di partenza (le premesse dellinferenza), porta ad asserire un altro
enunciato (la conclusione).
1.
Mario architetto oppure geometra.
Se Mario fosse architetto, allora Mario sarebbe laureato.
Mario non laureato.
Mario geometra.
2.
Esercizi
Alcuni degli esempi seguenti sono delle argomentazioni. Identificare le loro
premesse e le loro conclusioni:
(a) Luca del segno del leone, dato che nato durante la prima settimana di Agosto.
(b) Come possibile migliorare leconomia? Il deficit economico cresce di giorno in giorno.
(c) Non posso andare a letto, mamma. Il film non ancora finito.
(d) Il palazzo era malmesso, costruito in una pietra scura coperta di fuliggine, in un quartiere
decadente. Scorribande di topi echeggiavano per le stanze vuote.
(e) Chiunque abbia il tuo talento dovrebbe ricevere unistruzione superiore.Va alluniversit!
(f)
Molti statunitensi non sanno se il loro paese sostenga la messa al bando internazionale delle
mine anti-uomo o vi si opponga.
(j)
Il triangolo ABC equiangolo. Quindi ciascuno dei suoi angoli interni misura 60 gradi.
G. Paronitti - Logica
Soluzioni
(a) {Luca del segno del leone}, dato che [ nato durante la prima settimana di Agosto].
(b) {Come possibile migliorare leconomia}? [Il deficit economico cresce di giorno in giorno]. [NO]
(c) {Non posso andare a letto}, mamma. [Il film non ancora finito].
(d) Il palazzo era malmesso, costruito in una pietra scura coperta di fuliggine, in un quartiere
decadente. Scorribande di topi echeggiavano per le stanze vuote. [NO]
(e) [Chiunque abbia il tuo talento dovrebbe ricevere unistruzione superiore]. {Va alluniversit}! [NO]
(f)
[Fummo ampiamente decimati e disarmati dal nemico], e [le sue truppe venivano
costantemente rinforzate mentre le nostre diminuivano]. Quindi {uno scontro in campo
aperto sarebbe stato un suicidio}.
[Il triangolo ABC equiangolo]. Quindi {ciascuno dei suoi angoli interni misura 60 gradi}.
G. Paronitti - Logica
Socrate un uomo.
Socrate mortale
Se una argomentazione segue questo formato allora si dice che in forma canonica.
Si d una argomentazione solo quando qualcuno presenta un insieme di premesse a sostegno di
una conclusione. Questa intenzione potrebbe essere espressa per mezzo di opportuni
indicatori inferenziali.
INDICATORI DI CONCLUSIONE: quindi, cos, sicch, perci, pertanto, ragion per
cui, per questa ragione, di conseguenza, stando cos le cose, ne segue che,
questo dimostra che, questo significa che, da ci possiamo inferire che,
risulta che, in conclusione
INDICATORI DI PREMESSE: poich, dato che, dal momento che, assumendo che,
visto che, considerato che, siccome, perch, la ragione che, in vista del
fatto che, un dato di fatto che, come mostrato dal fatto che, posto che,
in quanto, infatti
G. Paronitti - Logica
Esercizi
G. Paronitti - Logica
10
Soluzioni
1 [ pressoch impossibile ottenere composti di oro e argo in laboratorio, tanto meno in
natura,] {dato che} 2 [ difficile far s che largo reagisca con altri elementi,] e {dato che} 3
[loro, a sua volta forma pochi composti].
2, 3 1
1 [Linflazione diminuita notevolmente, mentre i tassi di interesse sono rimasti alti.] {Quindi}
2 [in termini reali, i prestiti sono diventati pi costosi,] {dato che} 3 [a queste condizioni il
denaro preso a prestito non pu essere ripagato con euro altamente inflazionati (mentre
poteva esserlo quando linflazione era pi alta)].
1, 3 2
Ho portato lombrello perch tu non ti bagnassi. [NO]
1 [Al Capone non era poi cos intelligente.] 2 [Se fosse stato pi intelligente, la IRS non lo
avrebbe mai incriminato per evasione fiscale.]
21
1 [Alcuni politici sono ipocriti.] 2 [Dicono che se si vuole tenere sotto controllo il deficit
nazionale dovremmo pagare pi tasse]. 3 [Ma poi sprecano un sacco di soldi per le loro
campagne elettorali].
2, 3 1
G. Paronitti - Logica
11
Argomentazioni complesse
un numero.
G. Paronitti - Logica
12
Esercizi
Non temere che la temperatura vada sotto lo zero in giugno, neppure in alta montagna. Non
mai stato cos freddo nei mesi estivi, e quindi probabilmente non lo sar mai.
Matteo ha detto che andr alla festa il che significa che ci andr anche Giulia. Cos Giulia non
potr venire al cinema con noi.
G. Paronitti - Logica
13
Soluzioni
Non temere che la temperatura vada sotto lo zero in giugno, neppure in alta montagna. Non mai
stato cos freddo nei mesi estivi, e quindi probabilmente non lo sar mai.
Nei mesi estivi la temperatura non mai scesa sotto lo zero, neppure in alta montagna.
Matteo ha detto che andr alla festa il che significa che ci andr anche Giulia. Cos Giulia non potr
venire al cinema con noi.
G. Paronitti - Logica
14
Diagrammi
I diagrammi sono un modo conveniente per rappresentare una struttura inferenziale.
Ecco come si costruiscono:
(1) Mettere tra parentesi gli indicatori inferenziali; (2) Numerare gli asserti; (3) Se molte
premesse concorrono a un conclusione, allora si scrivono i loro numeri uniti da segni
di addizione e li si sottolinea. (4) Se un passo di ragionamento ha una sola
premessa, si scrive semplicemente il suo numero. (5) Si traccia una freccia dallalto
al basso, che va dal numero/i che rappresenta/no una/le premessa/e al numero che
rappresenta la conclusione del passo argomentativo.
Es: 1[Oggi o marted o mercoled.] Ma 2[non pu essere mercoled,] {dato che}
3[lambulatorio medico questa mattina era aperto,] e 4[quellufficio sempre chiuso
di mercoled.] Quindi 5[oggi deve essere marted.]
5
G. Paronitti - Logica
15
Esercizi
Diagrammare le seguenti argomentazioni:
1.
2.
O gli UFO sono armi segrete del nemico oppure sono navi spaziali che provengono da un
mondo alieno. Se sono armi nemiche, allora la tecnologia nemica ampiamente superiore
alla nostra (contrariamente a quanto si pensa solitamente). Se sono navi spaziali aliene,
allora dispongono di una tecnologia superiore a qualsiasi cosa noi si possa immaginare. In
ogni caso, quindi i loro costruttori sono tecnologicamente pi sofisticati di noi.
3.
verosimile che la nostra squadra perda lultimo incontro, per queste tre ragioni: il suo
attaccante per un infortunio al ginocchio, il morale a terra dopo due deludenti sconfitte e
questa una partita fuori casa e fuori casa ha giocato malissimo per tutta la stagione. Se
perde questa partita, certamente lallenatore verr licenziato. Ma questa non lunica
ragione per pensare che il suo posto sia in pericolo. Infatti stato accusato da alcuni
giocatori di chiudere un occhio di fronte alluso di sostanze stupefacenti allinterno della
squadra, e nessun allenatore che lasci che i suoi giocatori facciano uso di droghe pu
aspettarsi di mantenere il posto.
G. Paronitti - Logica
16
Soluzioni
1
1.
2.
3.
G. Paronitti - Logica
5
8
17
Warnings
G. Paronitti - Logica
18
Esercizi
Diagrammare:
Il tuo motore perde acqua. Ci sono solo tre tipi di liquido nel motore: acqua, benzina e olio. Il tuo
motore non perde olio, perch il liquido non viscoso e non perde benzina dato che il liquido
inodore.
Mettere le virgolette nelle frasi seguenti:
1.
2.
3.
4.
5.
G. Paronitti - Logica
19
Soluzioni
1[Il tuo motore perde acqua.] 2[Ci
sono solo tre tipi di liquido nel
motore: acqua, benzina e olio.]
3[Il tuo motore non perde olio,]
{perch} 4[il liquido non
viscoso,] e 5[non perde benzina]
{dato che} 6[il liquido inodore.]
Assunzioni implicite:
7[Lolio viscoso]
8[La benzina ha un odore]
9[C una perdita di liquido nel
tuo motore]
x+y=x+y espresso
dallequazione x+y = x+y.
4 + 7
9 + 2 + 3
6 + 8
G. Paronitti - Logica
20
Le variabili P e Q stanno per un qualsiasi asserto. Cio possono essere rimpiazzate da un qualsiasi
enunciato dichiarativo al fine di produrre una argomentazione specifica. Dato che le coppie di
enunciati dichiarativi potenzialmente infinito, la forma rappresenta infinite argomentazioni
diverse tutte aventi la stessa struttura.
La logica informale lo studio delle argomentazioni formulate in linguaggio naturale e dei
contesti in cui esse occorrono. Dove la logica formale enfatizza la generalit e la teoria, la logica
informale si concentra sullanalisi di argomentazioni concrete.
G. Paronitti - Logica
21
Deduttivamente valido
G. Paronitti - Logica
22
G. Paronitti - Logica
23
Non tutte le inferenze sensate sono ragionamenti deduttivi. Le inferenze della slide precedente,
non lo sono. Infatti in esse la conclusione potrebbe risultare falsa pur essendo vere tutte le
premesse.
Ad esempio, potrebbe esserci da qualche parte un cigno nero che nessuno ha mai osservato, oppure
lassassino potrebbe aver sporcato il tappeto deliberatamente per sviare le indagini, oppure Titti
potrebbe essere un pinguino.
Nellesempio dei cigni, la conclusione una generalizzazione delle informazioni contenute nelle
premesse. Questo tipo di ragionamento va sotto il nome di ragionamento induttivo.
Nellesempio dellassassino, nella conclusione, si cerca di formulare unipotesi che spieghi i fatti delle
premesse. Questo tipo di ragionamento va sotto il nome di ragionamento abduttivo.
Lultimo un esempio di ragionamento per default.
G. Paronitti - Logica
24
Logica Proposizionale
La logica proposizionale cattura le forme pi semplici di inferenza logica, ossia quelle della cui validit
si pu rendere conto senza prendere in considerazione la struttura interna delle proposizioni
atomiche.
In logica si dicono atomiche quelle proposizioni che non possono essere ulteriormente scomposte in
altre proposizioni. Esempi di proposizioni atomiche del linguaggio ordinario sono Giorgio
corre, Roma la capitale dItalia, Piove.
Per rendere conto della validit delle inferenze proposizionali non occorre scomporre le
proposizioni atomiche in componenti pi elementari.
Nel linguaggio formale della logica proposizionale rappresentiamo le proposizioni atomiche
mediante lettere o variabili proposizionali: a, b, c, o anche si possono usare le maiuscole P, Q, R
Le proposizioni atomiche possono essere combinate tra loro per formare proposizioni composte.
G. Paronitti - Logica
25
Esempi
Rappresentando per mezzo di variabili propozionali le proposizioni atomiche che formano una
argomentazione ci possiamo rendere conto della loro forma pi astratta e possiamo notare che
esempi diversi appartengono a una stessa forma. Esempi:
1)
Oggi gioved o venerd.
Oggi non venerd.
Oggi gioved.
2)
La Gioconda stata dipinta o da Rembrandt o da Michelangelo.
Rembrandt non ha dipinto la Gioconda.
La Gioconda stata dipinta da Michelangelo.
3)
G. Paronitti - Logica
26
G. Paronitti - Logica
27
Le proposizioni atomiche possono essere combinate tra loro per formare proposizioni composte.
Esempi di proposizioni composte del linguaggio ordinario sono:
Se la temperatura sale, il ghiaccio si scioglie,
Giorgio corre e Marco cammina,
Piove oppure fa freddo.
Nel linguaggio formalizzato della logica proposizionale le proposizioni composte si rappresentano
combinando tra loro le lettere proposizionali mediante opportuni connettivi proposizionali.
Chiameremo formule proposizionali sia le singole lettere proposizionali, sia le espressioni complesse
ottenute combinando le lettere proposizionali per mezzo dei connettivi.
Dora in avanti utilizzeremo le lettere maiuscole A, B, C, ..., P1, P2, P3, ... per indicare formule
proposizionali generiche. Introduciamo quattro connettivi proposizionali: negazione, congiunzione,
disgiunzione e condizionale materiale.
G. Paronitti - Logica
28
Operatori logici
La negazione
,~,
Data una formula A, la sua negazione si rappresenta con la formula A.
Semantica: Se A vera, allora A falsa; se A falsa, allora A vera.
La congiunzione
,&,
Date le formule A e B, la loro congiunzione si rappresenta con la formula A B.
Semantica: A B vera se sia A sia B sono vere, ed falsa in tutti gli altri casi.
La disgiunzione
Semantica: A B vera se e soltanto se vera almeno una delle due formule A e B, quindi falsa nel caso che
A e B siano entrambe false.
Il condizionale materiale
,
Semantica: il significato di A B Non si d il caso che sia vera A e falsa B. Cio, A B falsa se A vera e
B falsa, ed vera in tutti gli altri casi.
Il bicondizionale
,
Semantica: una formula A
B vera quando sia A che B sono entrambi veri o entrambi falsi; falsa negli altri
casi.
G. Paronitti - Logica
29
Consuetudini
G. Paronitti - Logica
30
Tavole di verit
La semantica di unespressione il suo contributo alla verit o alla falsit degli enunciati in cui
occorre (o, pi precisamente, alla verit e alla falsit delle asserzioni espresse da quegli enunciati).
La verit o falsit di un asserto anche chiamata valore di verit di quellasserto.
La semantica di un operatore logico fornita da una regola che permette di determinare il valore di
verit di qualsiasi asserzione composta nella quale compaia quelloperatore, sulla base del valore
di verit dei suoi componenti.
Assumiamo il principio di bivalenza secondo il quale vero e falso sono i soli valori di verit e, in
ogni situazione possibile, ciascun asserto ha uno e un solo valore di verit.
Ecco le tavole di verit degli operatori logici che abbiamo visto finora.
Negazione
Congiunzione
Disgiunzione
AB
AB
G. Paronitti - Logica
Implicazione o
condizionale
materiale
A
AB
V
31
PQ
QP
P Q
Bicondizionale
Disgiunzione esclusiva
PQ
32
G. Paronitti - Logica
33
Esercizi
Interpretando la lettera enunciativa P come sta piovendo e la lettera N come sta nevicando,
esprimere in logica proposizionale la forma di ciascuno dei seguenti enunciati italiani:
a.
b.
c.
d.
e.
f.
g.
h.
i.
j.
k.
l.
m.
n.
o.
Sta piovendo.
Non sta piovendo.
O sta piovendo, o sta nevicando.
Sta sia piovendo che nevicando.
Sta piovendo ma non nevicando.
Non vero che sta sia piovendo che nevicando.
Se non sta piovendo allora sta nevicando.
Non si d il caso che, se sta piovendo, allora sta nevicando.
Non si d il caso che, se sta nevicando, allora sta piovendo.
Sta piovendo se e solo se non sta nevicando.
Non sta ne piovendo, n nevicando.
Se sta sia nevicando che piovendo, allora sta nevicando.
Se non sta piovendo, allora non vero che sta sia nevicando che piovendo.
O sta piovendo o sta sia nevicando che piovendo
O sta sia piovendo che nevicando, o sta nevicando ma non piovendo
G. Paronitti - Logica
34
Soluzioni
a.
b.
c.
d.
e.
f.
g.
h.
i.
j.
Sta piovendo. [ P ]
Non sta piovendo. [ P ]
O sta piovendo, o sta nevicando. [ P N ]
Sta sia piovendo che nevicando. [ P N ]
Sta piovendo ma non nevicando. [ P N ]
Non vero che sta sia piovendo che nevicando. [ (P N) ]
Se non sta piovendo allora sta nevicando. [ P N ]
Non si d il caso che, se sta piovendo, allora sta nevicando. [ (P N) ]
Non si d il caso che, se sta nevicando, allora sta piovendo. [ (N P) ]
Sta piovendo se e solo se non sta nevicando. [ P N ]
k.
l.
m.
n.
o.
G. Paronitti - Logica
35
Il condizionale materiale
Nel linguaggio ordinario le espressioni del tipo se ... allora .... di solito non sono puramente verofunzionali: il valore di verit di un enunciato del tipo se A allora B non dipende esclusivamente dai
valori di verit degli enunciati A e B. Spesso ad esempio se... allora ... ha sfumature di tipo causale.
Un tipico esempio di enunciati del tipo se ... allora ... che non sono vero-funzionali sono i cosiddetti
condizionali contro-fattuali, ossia quegli enunciati che asseriscono cosa sarebbe successo se si fosse
verificato un evento che nella realt non si verificato (ad esempio: se i dinosauri non si fossero
estinti, allora l'uomo non si sarebbe mai evoluto, oppure se la sveglia avesse suonato, allora non avrei
perso il treno).
G. Paronitti - Logica
36
I controfattuali
Per rendersi conto in che senso il se ... allora ... controfattuale non mappa il linguaggio di uso comune
si considerino i due enunciati controfattuali seguenti:
(a) Se Dante fosse morto a cinque anni, allora non avrebbe scritto la Divina Commedia.
(b) Se Dante fosse morto a cinque anni, allora la Luna sarebbe fatta di formaggio.
In entrambi i casi l'antecedente (ossia, l'enunciato che segue il se) falso, perch Dante non morto a
cinque anni. Analogamente, in entrambi falso il conseguente (ossia, l'enunciato che segue
l'allora): non vero che Dante non ha scritto la Divina Commedia, cos come non vero che la
Luna di formaggio. Quindi a livello vero-funzionale entrambe le proposizioni sono vere.
Tuttavia, tutti diremmo che (a) vero mentre (b) falso. Quindi, abbiamo due enunciati (a) e (b)
del tipo se A allora B, in entrambi i quali sia A sia B sono falsi. Ma (a) vero e (b) falso. Di
conseguenza, questo uso del se ... allora ... non vero-funzionale (perch in base alle tavole di
verit dovrebbe essere entrambi veri): non basta sapere il valore di verit di A e di B per sapere il
valore di verit di se A allora B.
Altro esempio: se tu sei morto, allora sei vivo.
Giacch se il tu della frase si rivolge al lettore .
G. Paronitti - Logica
37
G. Paronitti - Logica
38
Es.
La principessa o la regina
presenzier alla cerimonia.
PR
|- R
La regina presenzier
Formalizzato:
P R, P |- R
G. Paronitti - Logica
39
Esercizi
Formalizzare le seguenti argomentazioni.
1. Se dio esiste, allora la vita ha senso. Dio esiste, dunque la vita ha senso. (D,V)
2. Dio non esiste, perch, se dio esistesse, la vita avrebbe senso. La vita, invece, non ha senso. (D,V)
3. Se laereo non fosse precipitato, avremmo avuto qualche contatto radio. Non abbiamo avuto
alcun contatto radio con laereo. Quindi precipitato. (P, R)
4. Dato che oggi non gioved, deve essere venerd, in quanto oggi gioved o venerd. (G,V)
5. Se oggi gioved, allora domani venerd. Se domani venerd, allora dopodomani sabato. Di
conseguenza, se oggi gioved, dopodomani sabato. (G, V, S)
6. Siamo nel fine settimana se e solo se o sabato o domenica. Dunque siamo nel fine settimana,
dal momento che sabato. (F, S, D)
7. sabato o domenica se siamo nel fine settimana; ma non siamo nel fine settimana. Dunque non
sabato n domenica.
8. Se siamo nel fine settimana allora sabato o domenica. Non sabato. Non domenica.
Quindi, non siamo nel fine settimana. (F, S, D)
9. La domanda per la borsa di studio gi stata spedita. Se i commissari la ricevono per venerd, la
prenderanno in considerazione. Quindi la prenderanno in considerazione, poich, se la domanda
gi stata spedita, la riceveranno per venerd. (S, V, C)
10. O lei non a casa, o non risponde al telefono; ma se lei non a casa allora stata rapita e, se
non risponde al telefono si trova in qualche altro pericolo. Quindi o stata rapita o si trova in
qualche altro pericolo. (C, R1, R2, P)
G. Paronitti - Logica
40
Soluzioni
1.
D V, D |- V
2.
D V, V |- D
3.
P R, R |- P
4.
G V, G |- V
5.
G V, V S |- G S
6.
7.
(S D) F, F |- S D
8.
*F (S D), S, D |- F
9.
S V, V C, S |- C
(S D), S |- F
10. C R1, C R2 R1 P |- R2 P
G. Paronitti - Logica
41
Esercizi
PQ, QR
PQ, Q
PQ, PQ
PQ
P, P
R
|- PR
|- P
|- P
|- (QP)
|- Q
|- P (P(PQ))
G. Paronitti - Logica
42
Soluzioni 1,2
P
PQ
QR
|- P R
PQ
|- P
G. Paronitti - Logica
43
Soluzioni 3,4
PQ
P Q
|- P
PQ
|- (Q P)
G. Paronitti - Logica
44
Soluzioni 5,6
P
|- Q
|- P
(P
(PQ))
G. Paronitti - Logica
45
Equivalenza Logica
Due formule sono logicamente equivalenti quando assumono lo stesso valore di verit.
Es. (AB) logicamente equivalente a AB (prima legge di De Morgan).
A
(A B)
(AB)
Equivale a
AB
II De Morgan
idempotenza
A B
B A
Commutativit di
AB
BA
Commutativit di
(AB)C
A (BC)
Associativit di
(AB)C
A (BC)
Associativit di
A(BC)
(AB) (AC)
A(BC)
(AB) (AC)
G. Paronitti - Logica
Leggi distributive
46
Regole di inferenza
Abbiamo visto delle tecniche semantiche (basate sulle tavole di verit) per verificare la
validit di una forma argomentativa. Ora introduciamo brevemente un metodo basato
sullidea che, se una argomentazione deduttivamente valida, allora dovrebbe essere
possibile inferire o derivare la conclusione dalle premesse, in altre parole mostrare
come in effetti la conclusione segua dalle premesse.
La chiave per fornire la dimostrazione della validit di una forma argomentativa per
mezzo di una serie di passaggi deduttivi risiede nella padronanza dei principi che
possono essere utilizzati in ognuno di questi passaggi. Questi principi sono chiamati
regole di inferenza.
G. Paronitti - Logica
47
Regole di inferenza
Le regole di inferenza consentono di manipolare le formule della logica proposizionale.
Di solito una regola di inferenza ha la forma seguente:
P1,,Pn
C
Dove P1,,Pn sono le premesse della regola e C ne la conclusione. Una regola di
inferenza si dice valida se mantiene la verit delle premesse (cio se P1,,Pn sono vere
allora anche C vera.
Il sistema delle regole di inferenza costituisce il cosiddetto calcolo proposizionale. Una
deduzione nel calcolo proposizionale si presenta come una serie di formule espresse nel
linguaggio della logica proposizionale, ciascuna delle quali usata come premessa o
ottenuta tramite lapplicazione di una regola di inferenza.
Una deduzione chiamata anche derivazione o dimostrazione.
G. Paronitti - Logica
48
Regola di risoluzione
La regola di risoluzione si applica a strutture di premesse dette clausole. Una clausola una
disgiunzione L1L2Ln dove ogni Li (detto letterale) pu essere una lettera proposizionale
o una lettera proposizionale negata.
Qualunque formula proposizionale, applicando appropriate leggi logiche,
pu essere trasformata in una clausola.
Per es. trasformiamo a(bc), ricordandoci che ab logicamente equivalente a ab
(legge che chiamiamo (*)).
a(bc) Formula di partenza
a(bc) In virt dellequivalenza (*)
a(bc) In virt di De Morgan
abc In virt dellassociativit di
Oppure (ab)c:
(ab)c Formula di partenza
(ab)c In virt dellequivalenza (*)
(ab)c In virt di De Morgan
(ac)(bc) Commutiamo e distribuiamo
G. Paronitti - Logica
49
Regola di risoluzione
G. Paronitti - Logica
50
Regola di risoluzione
A1 ... An B B C1 ... Cm
A1 ... An C1 ... Cm
Due clausole differenti con uno stesso letterale, in uno dei due casi negato, si risolvono in
ununica clausola eliminando il letterale comune, senza perdere il loro valore di verit.
Dimostrazione della validit della regola di risoluzione:
AB
B C
|- A C
G. Paronitti - Logica
51
Casi notevoli
Casi particolari che la regola di risoluzione pu assumere:
A1 ... An B B
A1 ... An
B B C1 ... Cm
C1 ... Cm
A B A
B
A B B
A
A B B C
A C
G. Paronitti - Logica
B B
A B A Modus ponens
B
A B B Modus tollens
A
AB BC
AC
Transitivit dellimplicazione
52
Refutazione
G. Paronitti - Logica
53
Refutazione
Dimostriamo la validit del seguente argomento per refutazione:
A G, A L, L |- G
AL
Text L
A AG
G G
G. Paronitti - Logica
54
Esercizi
Dimostriamo la validit del seguente argomento per refutazione:
E poi a casa:
(a) Se ha nevicato vado a sciare; se vado a sciare sono contento; non
sono contento; quindi non ha nevicato.
(b) Se piove non esco; se esco vedo gente; non vedo gente; quindi piove.
(c) O piove o nevica; se non fa freddo non nevica; non piove; quindi fa
freddo.
G. Paronitti - Logica
55
Soluzioni
Dimostriamo la validit del seguente argomento per refutazione:
P , F |- ((P N) (B F))
Trasformiamolo in clausole:
P, N F
|- (P N) BF
((P N) (B F)) Formula di partenza
((P N) (B F)) In virt dellequivalenza (*)
(P N) (B F) In virt di De Morgan
(P N) (B F) In virt dellidempotenza
(P N) B F In virt di De Morgan
G. Paronitti - Logica
56
Esercizio
Da questo insieme di clausole dimostriamo che si giunge a una
contraddizione:
P, NF, PN, B, F
P
Text B
P PN
N NF
F F
G. Paronitti - Logica
57
Le costanti individuali sono simboli che indicano singoli oggetti del dominio:
si indicano con le prime lettere dellalfabeto minuscole, es. a,b,c, ecc.
I simboli predicativi rappresentano dei predicati che si applicano agli oggetti del
dominio: si possono avere predicati ad un argomento ossia propriet (R(a)) oppure a pi
argomenti cio relazioni (P(a,b)).
Le formule atomiche della logica dei predicati possono essere combinate per mezzo
degli stessi connettivi della logica proposizionale.
Es. A(m)G(m) (con A = architetto, G = geometra, m = Mario).
G. Paronitti - Logica
58
G. Paronitti - Logica
59
Esercizi
G. Paronitti - Logica
60
Soluzioni
x(R(x) V(x))
x(R(x) V(x))
x(R(x) V(x))
x(R(x) V(x))
x(R(x) V(x)) oppure x(R(x) V(x))
x(R(x) V(x)) oppure x(R(x) V(x))
x(R(x) V(x))
G. Paronitti - Logica
Esercizi
Formalizzare i seguenti enunciati usando le lettere R, S, T e V rispettivamente come i predicati una rana, salta, testarda
ed verde e la lettera P per lenunciato piove:
a.
Tutto verde.
b.
Alcune cose sono verdi.
c.
Non qualsiasi cosa verde.
d.
Non ci sono cose verdi.
e.
O tutto verde o nulla verde.
f.
Tutto o verde o non verde.
g.
Alcune cose sono verdi e alcune cose non lo sono.
h.
Alcune rane sono verdi e alcune non lo sono.
i.
Vi sono rane verdi e rane testarde.
j.
Vi sono rane verdi e testarde.
k.
Alcune rane testarde non sono verdi.
l.
Tutte le rane verdi sono testarde.
m.
Ogni rana o verde o testarda.
n.
Qualche rana sia verde che testarda.
o.
Qualche rana verde testarda.
p.
Qualche rana testarda verde.
q.
Non esistono rane verdi testarde.
r.
Tutte le rane verdi saltano.
s.
Alcune rane verdi non saltano.
t.
Nessuna rana che salta testarda.
u.
Ci sono rane testarde che non saltano.
v.
Ci sono rane testarde che saltano solo se piove.
w.
Ci sono rane che, se piove, saltano.
x.
Se piove qualche rana testarda salta.
y.
Se non piove, nessuna rana salta.
z.
Le rane testarde saltano se e solo se piove.
G. Paronitti - Logica
62
Soluzioni
a.
b.
c.
d.
e.
f.
g.
h.
i.
j.
k.
l.
m.
n.
o.
p.
q.
r.
s.
t.
u.
v.
w.
x.
y.
z.
Tutto verde.
Alcune cose sono verdi.
Non qualsiasi cosa verde.
Non ci sono cose verdi.
O tutto verde o nulla verde.
Tutto o verde o non verde.
Alcune cose sono verdi e alcune
cose non lo sono.
Alcune rane sono verdi e alcune
non lo sono.
Vi sono rane verdi e rane testarde.
Vi sono rane verdi e testarde.
Alcune rane testarde non sono verdi.
Tutte le rane verdi sono testrade.
Ogni rana o verde o testrada.
Qualche rana sia verde che testarda.
Qualche rana verde testarda.
Qualche rana testarda verde.
Non esistono rane verdi testarde.
Tutte le rane verdi saltano.
Alcune rane verdi non saltano.
Nessuna rana che salta testarda.
Ci sono rane testarde che non saltano.
Ci sono rane testarde che se piove, saltano.
Ci sono rane che, se piove, saltano.
Se piove qualche rana testarda salta.
Se non piove, nessuna rana salta.
Le rane testarde saltano se e solo se piove.
xV(x)
xV(x)
xV(x)
xV(x)
xV(x) xV(x) oppure xV(x) xV(x)
x(V(x) V(x))
xV(x) xV(x)
x(R(x) V(x)) x(R(x) V(x))
x(R(x) V(x)) x(R(x) T(x))
x(R(x) (V(x) T(x)))
x((R(x) T(x)) V(x))
x((R(x) V(x)) T(x))
x(R(x) (V(x) T(x)))
x(R(x) (V(x) T(x)))
x((R(x) V(x)) T(x))
x((R(x) T(x)) V(x))
x((R(x) V(x)) T(x))
x((R(x) V(x)) S(x))
x((R(x) V(x)) S(x))
x((R(x) S(x)) T(x))
x((R(x) T(x)) S(x))
x((R(x) T(x)) (P S(x))
x(R(x) (P S(x))
P x((R(x) T(x)) S(x))
P x(R(x) S(x))
x((R(x) T(x)) (S(x) P))
G. Paronitti - Logica
63
G. Paronitti - Logica
64
Vediamoli allopera:
In virt dellinterdefinibilit dei quantificatori, la formula:
x (U(x) M(x))
pu essere riscritta come :
x(U(x) M(x))
che, in virt di (*), pu a sua volta essere riscritta come:
x(U(x) M(x))
da cui, per De Morgan, si ottiene:
x(U(x) M(x))
e, mediante lidempotenza della negazione:
x(U(x) M(x))
che pu essere letta come: Non esiste alcun individuo x che sia un uomo e allo
stesso tempo non sia mortale.
Analogamente, la formula:
x(C(x) N(x))
pu essere riscritta come:
x(C(x) N(x))
da cui, per De Morgan:
x(C(x) N(x))
e, applicando lidempotenza della negazione:
x(C(x) N(x))
e, in virt di (*):
x(C(x) N(x))
che pu essere letta come: Non tutti i cani sono neri.
G. Paronitti - Logica
65
Corso di Filosofia della scienza, Facolt di Filosofia, Universit degli Studi di Roma La
Sapienza
Info: g.paronitti@gmail.com