Sei sulla pagina 1di 5

Logica e argomentazione

a.a. 2015-2016
franca.dagostini@unimi.it

Logica degli enunciati


1. Traduzione
Paolo va al cinema = p; Quinto va al cinema = q; Roberta va al cinema = r; Sandra va al
cinema = s; Tommaso va al cinema = t
e = ; non = ; o = ; se allora = ; se e solo se = ; dunque =
Paolo e Tommaso vanno al cinema = p t
se Paolo va al cinema ci va anche Roberta = p r
Quinto non va al cinema oppure ci va Sandra = q s
Tommaso va al cinema se e solo se ci va Sandra = t s
N Paolo n Tommaso vanno al cinema = p t
Roberta va al cinema anche se non ci va Sandra = r s
Paolo va al cinema e nonostante ci Tommaso non ci va = p t
Quinto va al cinema se ci va Tommaso = t q
Paolo va al cinema purch non ci vada Roberta = p r
Quinto va al cinema solo se non ci va Tommaso = q t
Sandra va al cinema solo se ci va Quinto = s q
non si d il caso che Paolo o Roberta vadano al cinema = (p r)
non vero che Quinto va al cinema con Sandra = (q s)
Tommaso non va al cinema senza Quinto = (t q)
Paolo va al cinema se e solo se ci vanno Roberta o Sandra = p (r s)
Se Paolo va al cinema allora ci vanno Quinto e Roberta, ma Roberta non va al cinema,
dunque Paolo non ci va:
p (q r), r p
Quinto o Tommaso vanno al cinema, se Sandra va al cinema, Tommaso non ci va,
dunque Quinto va al cinema se ci va Sandra = q t, s t s q

2. Il significato degli operatori


Congiunzione: p q vero se e solo se p e q sono entrambi veri
Negazione: p vero se e solo se p falso (cambia il valore di verit)
Disgiunzione: p q vero se e solo se almeno uno dei due enunciati vero (ma
possono essere entrambi veri)
Condizionale: p q vero se e solo se non si d il caso che p (antecedente) sia vero e
q (conseguente) sia falso
Doppio condizionale: p q vero se e solo se i due enunciati sono entrambi veri o
entrambi falsi (hanno lo stesso valore di verit)
Attenzione alla disgiunzione e al condizionale:
Maria bionda o ha i capelli lunghi = p q

(ha almeno uno dei due requisiti, ma potrebbe averli entrambi: disgiunzione inclusiva)
La porta aperta o chiusa = p | q
(almeno uno dei due vero, ma non entrambi: disgiunzione esclusiva)
Se Juliette francese europea = p q
(non si d il caso che p senza q: implicazione materiale)
Se sei incinta il test positivo = p q
(se sei incinta positivo, e se positivo sei incinta: doppio condizionale mascherato)
Ciascun operatore isola delle possibilit (dei casi o mondi possibili) e ne esclude
delle altre:
pq

p+q (un solo caso possibile)

pq

p+q
p+q
p+q

( escluso solo il caso p+q)

pq

p+q
p+q
p+q

( escluso solo il caso p+q)

pq

p+q
p+q

(sono esclusi p+q e p+q)

3. Regole
p q, p q
p q, p q
p q, q p
p q, q r p r
p p
(p q) p q
(p q) p q
pq p
p, q p q
p pq
p (q q) p
p . q p q
p q p q
(p q) p q
p q (p q) (q p)
p q, q p
p q, p q

Sillogismo disgiuntivo (SD)


Modus ponens (MP)
Modus tollens (MT)
Sillogismo ipotetico (SI)
Doppia negazione (DN)
Regole di De Morgan (DeM)
Eliminazione della congiunzione (E)
Introduzione della congiunzione (I)
Introduzione della disgiunzione (I)
Riduzione allassurdo (RAA)
Prova condizionale (PC)
Definizione del condizionale (Df.)
Negazione del condizionale (Neg.)
Definizione del bicondizionale (Df.)
MP bicondizionale (MP)
MT bicondizionale (MT)

Fallacie:
Fallacia disgiuntiva
Juliette amica di Alberta o di Barbara, ma amica di Alberta, dunque
non amica di Barbara (NO!)
Fallacia del vero conseguente
Se Juliette francese allora europea, Juliette europea, dunque

francese (NO!)
Fallacia del falso antecedente
Se Juliette francese, allora europea, ma non francese, dunque
non europea (NO!)

4. Prove
Il M5S deve diventare partito di governo oppure perder le elezioni; se il M5S diventa
partito di governo non sar pi un movimento antipolitico, ma il M5S rimarr un
movimento antipolitico, dunque perder le elezioni
g p, g a, a p
1 gp
2 g a
3 a
4 a
5 g
6 p

per doppia negazione, da 3


per modus tollens, da 2 e 4
per sillogismo disgiuntivo da 1 e 5

Paolo o Roberta vanno al cinema; se Tommaso va al cinema Roberta non ci va; Paolo
non va al cinema, dunque: Tommaso non va al cinema
p r, t r, p t
1
2
3
4
5
6

pr
t r
p
r
r
t

SD, da 1 e 3
DN, da 4
MT, da 2 e 5

5. Esercizi
5.2.Traduzione
a. Il Movimento cinque stelle non si sta rivelando un fenomeno passeggero
b. Nei sondaggi il M5S viene dato sopra il 20% ed la forza politica pi gradita tra gli
under 30
c. Gli elettori del Pd sono renziani o perplessi di sinistra
d. Se Renzi non rinuncia alla sua tipica arroganza twittatoriale divider definitivamente
il Pd
e. Se il M5S considerato una forza di lotta e non di governo difficilmente potr
vincere il confronto elettorale nazionale
f. Si governa in Italia se e solo se si pronti ad adottare misure di compromesso
g. La politica del M5S non una politica di compromesso
h. I 5S cambiano lItalia, oppure cambiano se stessi , o non governeranno mai
Soluzioni:
a. p
b. p q
c. p q
d. p q

e. (p q) r
f. p q
g. p q r
5.2. Il significato degli operatori
(1) Posto che p vero, q falso e r falso, stabilite il valore di verit:
a. p
b. q r
c. p q
d. q r
e. q p
f. (p q)
Soluzione (1):
a. falso
b. vero
c. falso
d. falso
e vero
f. vero
(2) Collegate gli enunciati equivalenti [ricordate: p q = p q; (p q) = p q]
a. p q
1. (p q)
b. p q
2. p q
c. (p q)
3. (p q)
d. p q
4. p q
e. (p q)
5. p q
f. p q
6. p q
Soluzione (2):
a-3, b-6, c-5, d-2, e-4, f-1
5.3. Regole
Formalizzate e individuate le regole:
a. se usiamo bombardieri contro lIsis, siamo in guerra; stiamo usando bombardieri
contro lIsis, dunque siamo in guerra
b. in base alla Costituzione la guerra contro lIsis legittima se e solo se deliberata
dalle Camere; la guerra contro lIsis non stata decisa in Parlamento, dunque non
legittima
c. il M5S deve diventare partito di governo oppure perder le elezioni; il M5S non
diventer mai partito di governo, dunque perder le elezioni
d. non vero che la legge sulle unioni civili penalizza la famiglia o danneggia la morale
pubblica, dunque non penalizza la famiglia n fa danno alla morale pubblica
e. se Renzi fosse un fedele cattolico, bloccherebbe le leggi sulle unioni civili, ma Renzi
non blocca le leggi sulle unioni civili, dunque non un fedele cattolico
f. se apriamo le frontiere agli immigrati lItalia verr invasa da grandi masse di individui
senza lavoro; se la popolazione dei disoccupati cresce, i giovani avranno meno possibilit
di impiego, dunque, se apriamo le frontiere, danneggiamo i giovani
g. non si pu dire che con lapertura delle frontiere ai migranti la criminalit non sia
aumentata, dunque la criminalit aumentata

h. nella legge finanziaria appena approvata ci sono norme per la ristrutturazione edilizia
e le pensioni, ma non c alcun cenno allabbattimento delle tasse per i lavoratori
dipendenti, dunque il ministro non pu dire che la nuova finanziaria comporta uno sgravio
fiscale per i dipendenti
i. se viene sottoposta a modifica la legge sulla fecondazione assistita appoggeremo la
maggioranza sulla riforma del sistema giudiziario; la legge stata rivista, dunque
appoggeremo la riforma del sistema giudiziario
l. Se si permette che somme di denaro fino a 3.000 euro circolino senza controllo si
lascia ampia possibilit di trasferire contanti con motivazioni illegali; se le possibilit di far
circolare contanti con motivazioni illegali crescono, si facilitano la criminalit e la
corruzione, dunque lelevazione della soglia di contante senza traccia favorisce la
corruzione e la criminalit
Soluzioni:
a. b g, b g Modus ponens
b. l c, c l Modus tollens bi-condizionale
c. g p, g p Sillogismo disgiuntivo
d. (p d) p d De Morgan
e. f b, b f Modus tollens
f. a i, i p q p Sillogismo ipotetico
g. c c
Doppia negazione
h. r p t t Eliminazione della congiunzione
i. m a, m a Modus ponens
l. s i, i (p q) s (p q)
5.4. Prove
Formalizzate e dimostrate:
a. La finanziaria penalizzante per i lavoratori salariati e per le piccole imprese;
penalizzare le piccole imprese in Italia significa bloccare leconomia, dunque la finanziaria
blocca leconomia
b. Dicendo che cerano armi di distruzione di massa in Iraq Blair ha detto il falso, e
sapeva di dire il falso, dunque responsabile dei crimini dellIs, perch o non sapeva di dire
il falso oppure promuovendo la guerra ha falsato gli equilibri, diventando responsabile dei
crimini dellIs
Soluzioni:
a. p q, p s s
1
2
3
4

pq
ps
p
s

E 1
MP 2,3

b. f s, s r r
1 fs
2 s r
3 s
4 s
5 r

E 1
DN 3
SD 2,4