Logica

Cenni di Logica matematica
May 8, 2007
Calcolo proposizionale
Una proposizione è una frase che è o vera oppure falsa ma non entrambe.
Esempio 1.1 Le seguenti frasi sono proposizioni.
1. Milano è la capitale dItalia.
2. Parigi è la capitale della Francia.
3. 3 + 3 = 7.
4. 2 + 2 = 4.
Le proposizioni 1 e 3 sono false mentre le proposizioni 2 e 4 sono vere.
Nel seguente esempio elenchiamo alcune frasi che non sono proposizioni.
Esempio 1.2 Le seguenti frasi non sono proposizioni.
1. Che ora è?
2. Vai a fare una passeggiata.
3. x + 3 = 7.
4. x + y = z.
In generale, le proposizioni sono indicate con delle lettere, p, q, r, s,. . .. Il valore di verità
di una proposizione vera è indicato con V, mentre quello di una falsa con F.
Definizione 1.1 Sia p una proposizione. La frase La proposizione p non è vera è unaltra
proposizione detta la negazione di p.
La negazione di p è denotata da p. La proposizione p è detta non p.
1
Esempio 1.3 La negazione della proposizione oggi è venerd` è oggi non è venerd`.
Riassumiamo nella Tabella 1 le relazioni fra il valore di verità di una proposizione e della
sua negazione.
Tabella 1
Il simbolo detto operatore negazione. Esso, posto davanti ad una proposizione esistente
p, forma una nuova proposizione detta la negazione di p. Loperatore negazione appartiene
alla famiglia degli operatori logici o connettivi attraverso i quali si possono formare nuove
proposizioni partendo da una o pi`
u proposizioni esistenti.
Definizione 1.2 Siano p e q due proposizioni. La frase p e q, denotata da p q, è una
nuova proposizione che risulta vera quando p e q sono entrambe vere, altrimenti è falsa. La
proposizione p q è detta la congiunzione di p e q (si veda la Tabella 2).
pq
Tabella 2
Esempio 1.4 Siano date le proposizioni p=oggi è venerd` e q=oggi sta piovendo. La
proposizione p q è oggi è venerd` e sta piovendo. Ovviamente questultima proposizione
è vera solamente nei venerd` in cui piove.
2
Definizione 1.3 Siano p e q due proposizioni. La frase p o q, denotata da p q, è una

nuova proposizione che risulta falsa quando p e q sono entrambe false, altrimenti è vera. La
proposizione p q è detta la disgiunzione di p e q (si veda la Tabella 3).
pq
Tabella 3
Luso del connettivo nella disgiunzione traduce il significato di o nella sua accezione
pi`
u comune in italiano, che è detta o inclusivo. Per esempio lo inclusivo è usato nella
seguente proposizione: Gli studenti del primo anno che hanno superato lesame di Formazione analitica I o di Formazione discreta I possono essere iscritti al secondo anno. Essa
dice che uno studente per iscriversi al secondo anno deve aver superato almeno uno dei due
esami menzionati, quindi anche entrambi. Esiste anche unaltra accezione di o, detta o
eslusivo che ha il valore V se una ed una sola delle due proposizioni componenti è vera,
ma non entrambe. Per esempio lo esclusivo è usato nella seguente proposizione Il menu
a prezzo fisso di questo ristorante prevede come secondo piatto pesce alla griglia o bistecca
ai ferri. Ovviamente non si possono ordinare entrambi i secondi pagando solo il prezzo del
menu.
Definizione 1.4 Siano p e q due proposizioni. Lo esclusivo di p e q denotato da p q, è
una nuova proposizione che risulta vera quando esattamente una fra p e q è vera, altrimenti
è falsa (si veda la Tabella 4).
pq
Tabella 4
Definizione 1.5 Siano p e q due proposizioni. Limplicazione p q è una nuova proposizione che risulta falsa quando p è vera e q è falsa, altrimenti p q è vera (si veda la
Tabella 5). Nellimplicazione p è detta lipotesi e q la tesi.
pq
Tabella 5
Poichè limplicazione è molto usata in matematica, esistono diverse terminologie equivalenti per esprimerla. Ne citiamo alcune:
se p, allora q;
p implica q;
p è sufficiente per q;
4
q è necessaria per p.
Si noti che p q è falsa solo nel caso in cui p è vera e q è falsa. Cosicchè p q è vera
quando p e q sono entrambe vere oppure quando p è falsa (non importa quale sia il valore di
verità di q).
Per ricordare che una implicazione è vera quando la sua ipotesi è falsa basta pensare alla
seguente clausola di contratto per un giocatore di calcio: Se il giocatore segna pi`
u di 40
goal durante il campionato riceverà un bonus di un milione di euro. La clausola è violata
solo nel caso in cui il giocatore segna pi`
u di 40 goal e non riceve il bonus. Essa non dice
nulla se il giocatore segna un numero di goal minore od uguale a 40.
Il modo in cui è definita limplicazione in logica matematica è pi`
u generale del modo
in cui limplicazione viene usata nel linguaggio comune. Per esempio la frase se oggi cè
sole, andremo alla spiaggia è una implicazione usata nel linguaggio normale poichè cè
una relazione fra lipotesi e la conclusione. Si noti che questa implicazione è valida sempre
eccetto il caso in cui oggi cè sole ma non andiamo alla spiaggia. Limplicazione se
oggi è venerd`, allora 2 + 3 = 5 è sempre vera poichè la sua conclusione è vera, mentre
limplicazione se oggi è venerd`, allora 2 + 2 = 5 è vera ogni giorno della settimana eccetto
il venerd`. Tuttavia queste due ultime implicazioni sebbene hanno perfettamente senso in
logica matematica non sono mai usate nel linguaggio comune. Il concetto matematico di una
implicazione è indipendente da una relazione di causa ed effetto fra lipotesi e la tesi.
Listruzione if . . . then . . . usata in molti linguaggi di programmazione è diversa dal se
. . ., allora . . . usato in logica matematica. Molti linguaggi di programmazione contengono
istruzioni del tipo if p then S, dove p è una proposizione e S è un segmento di programma
(una o pi`
u istruzioni da essere eseguite). S è eseguito se p è vera. Nel caso in cui p è falsa
S non è eseguito. Vediamo il seguente esempio.
Esempio 1.5 Supponiamo che un programma assegni alla variabile numerica x il valore 2
e, mentre è in esecuzione, incontri la seguente istruzione
if 2 + 2 = 4 then x := x + 1.
Qualè il valore di x dopo lesecuzione della precedente istruzione? (Il simbolo := assegna
alla variabile x il valore di x + 1.)
Poichè 2 + 2 = 4 è vera, listruzione x := x + 1 viene eseguita. Quindi, x ha il valore
2 + 1 = 3 dopo lesecuzione dellistruzione if-then.
Usando i connettivi definiti sopra molte nuove proposizioni possono essere costruite.
Per specificare lordine in cui i vari operatori logici debbano essere applicati, a volte sono
necessarie le parentesi. Per esempio, (p q) (r) è la congiunzione di p q e r.
Per diminuire il numero delle parentesi necessarie, si conviene che loperatore venga
applicato prima degli altri operatori logici. Per esempio, p q è la congiunzione di p e q,
cioè (p) q, e non la negazione della congiunzione di p e q, cioè (p q).
Si consideri limplicazione p q. La proposizione q p si dice linversa della p q.
La proposizione contronominale della p q è q p.
5
Esempio 1.6 Trovare linversa e la contronominale dellimplicazione: se oggi è venerd`,

allora oggi ho un esame.
Linversa è se oggi ho un esame, allora oggi è venerd`. La contronominale è se oggi
non ho un esame, allora oggi non è venerd`.
Introduciamo un altro connettivo.
Definizione 1.6 Siano p e q due proposizioni. La bicondizionale o equivalenza p q è una
nuova proposizione che risulta vera quando p e q hanno lo stesso valore di verit`
a, altrimenti
è falsa (si veda la Tabella 6).
pq
Tabella 6
Si noti che p q è vera precisamente quando entrambe le implicazioni p q e q p
sono vere. Per questa ragione per la bicondizionale è usata la terminologia equivalente p se
e solo se q. Altri modi equivalenti per esprimere la bicondizionale sono: p è necessaria e
sufficiente per q, se p allora q, e viceversa.
Esistono molte ragioni per traslare il linguaggio comune in espressioni costruite mediante
proposizioni elementari e connettivi logici. In particolare il linguaggio parlato è ambiguo.
Traducendo queste frasi in espressioni logiche si toglie questa ambiguità. Inoltre, è possibile
analizzare queste espressioni logiche in modo da ottenere il loro valore di verità. Infine le
espressioni logiche possono essere manipolate e si possono usare delle regole di inferenza in
modo da poter ragionare su di esse (si veda il paragrafo 4).
I seguenti esempi mostrano come una proposizione del linguaggio comune possa essere
tradotta in espressioni logiche.
Esempio 1.7 Tradurre la seguente proposizione in una espressione logica: Hai diritto ad
una connessione Internet presso il centro di calcolo dellUniversità solo se sei uno studente
di Informatica o non sei una matricola.
6
Se traducessimo questa frase con una sola proposizione p, sarebbe difficile analizzarne il
significato. Conviene rappresentare ogni sua parte con variabili proposizionali diverse e, poi,
costruire la frase completa mediante gli appropriati connettivi logici. Pi`
u precisamente poniamo: a=Hai diritto ad una connessione Internet presso il centro di calcolo dellUniversità,
b=sei uno studente di Informatica e c=sei una matricola. Si osservi che solo se può
essere espresso come una implicazione. In conclusione la frase data può essere tradotta nella
seguente espressione logica: a (b c).
Esempio 1.8 Tradurre la seguente proposizione in una espressione logica: Non puoi andare
sulle montagne russe se sei alto meno di un metro e sessanta a meno che non hai compiuto
i 16 anni.
Usiamo variabili proposizionali diverse per rappresentare ogni parte della frase e determiniamo gli appropriati connettivi logici. Precisamente poniamo: a=puoi andare sulle
montagne russe, b=sei alto meno di un metro e sessanta e c=hai compiuto 16 anni.
Come nellesempio precedente, il se può essere espresso come una implicazione. Quindi
possiamo tradurre la frase data con la seguente espressione logica: (b c) a.
I connettivi logici sono molto usati nella ricerca lungo liste di informazioni, come per
esempio nella ricerca di pagine web. Queste ricerche sono dette ricerche booleane poichè
impiegano tecniche di logica proposizionale. In esse sono usati i seguenti connettivi:
AN D per trovare quei record che contengono entrambi i termini della ricerca;
OR per trovare quei record che contengono almeno uno dei due termini della ricerca
(e quindi anche entrambi);
N OT per escludere quei record che contengono quel particolare termine della ricerca.
Come vedremo nel seguente esempio, un attento uso di questi connettivi è importante
nelle ricerche booleane di informazioni di particolare interesse.
Esempio 1.9 Nel Web, molti motori di ricerca supportano la ricerca booleana. Per esempio, usando la ricerca booleana per trovare le pagine web riguardanti le università del New
Mexico, possiamo scrivere NEW AN D MEXICO AN D UNIVERSITIES. Come risultato
avremo le pagine che contengono tutte e tre le parole NEW, MEXICO, e UNIVERSITIES.
Otterremo quindi tutte le pagine che ci interessano ma anche altre come per esempio quelle
che contengono le NEW UNIVERSITES nel MEXICO (le quali non sono di nostro interesse).
Se cerchiamo le pagine web riguardanti le università del New Mexico e dellArizona
possiamo scrivere (NEW AN D MEXICO OR ARIZONA) AN D UNIVERSITIES (si ricordi
che loperatore AN D ha precedenza sulloperatore OR). Come risultato avremo tutte le
pagine contenenti la parola UNIVERSITIES e o entrambe le parole NEW e MEXICO oppure
la parola ARIZONA. Ancora una volta otterremo anche delle pagine che non ci interessano.
Infine, supponiamo di cercare pagine web riguardanti le università del Mexico (e non
del New Mexico). Se scriviamo MEXICO AN D UNIVERSITIES il risultato della ricerca
7
includerà anche le pagine che riguardano il New Mexico. Per evitare ciò potremmo scrivere
(MEXICO AN D UNIVERSITIES) N OT NEW. Come risultato avremo quelle pagine contenenti le parole MEXICO e UNIVERSITIES ma non la parola NEW. Potremmo quindi
perdere le pagine contenenti le NEW UNIVERSITIES nel MEXICO.
I computer rappresentano le informazioni usando bit. Un bit ha due possibili valori: 0
e 1. Ciò spiega il significato della parola bit (binary digit): 0 e 1 sono le cifre usate nella
rappresentazione binaria di un numero. Un bit può essere usato anche per rappresentare il
valore di verità. Precisamente si usa 0 per rappresentare F e 1 per rappresentare V. Una
variabile si dice booleana se il suo valore è V o F. Quindi una variabile booleana può essere
rappresentata usando un bit (o meglio, lo spazio di memoria necessario in un computer per
rappresentare una variabile booleana è un bit).
Le operazioni fra bit in un computer corrispondono ai connettivi logici. Sostituendo V
con 1 e F con 0 nelle tavole di verità degli operatori , e otteniamo i risultati mostrati
nella Tabella 7 per le operazioni fra bit corrispondenti. Come in molti linguaggi di programmazione, useremo anche le notazioni OR, AN D e XOR per rappresentare rispettivamente
gli operatori , e .
xy xy xy
Tabella 7
Le informazioni sono spesso rappresentate da successioni di bit (bit string), cioè da successioni di zeri e uni. In tal caso si possono usare operazioni fra bit string per manipolare le
informazioni rappresentate da esse.
Definizione 1.7 Una bit string è una successione di zero o pi`
u bit. La lunghezza di una bit
string è data dal numero dei suoi bit.
Per esempio 1010111001 è una bit string di lunghezza dieci.
Le operazioni fra bit possono estendersi ad operazioni fra bit string della stessa lunghezza.
Precisamente, le operazioni OR, AN D e XOR fra due bit string della stessa lunghezza
8
producono la bit string che si ottiene applicando le operazioni OR, AN D e XOR fra ogni
coppia di bit corrispondenti delle due bit string. Mostriamo ciò con un esempio dove usiamo
i simboli , e per rappresentare rispettivamente OR, AN D e XOR.
Esempio 1.10 Determinare OR, AN D e XOR fra le bit string 0110110110 e 1100011101.
Applicando gli operatori bit per bit abbiamo:
0110110110 1100011101 = 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 =
1110111111;
0110110110 1100011101 = 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 =
0100010100;
0110110110 1100011101 = 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 =
1010101011.
Equivalenze proposizionali
Una tecnica importante nei ragionamenti matematici è quella di sostituire una proposizione
con unaltra pi`
u semplice ma con lo stesso valore di verità.
Definizione 2.1 Dicesi tautologia una proposizione composta che ha sempre il valore di
verit`
a V qualunque sia il valore di verit`
a delle proposizioni che appaiono in essa.
Dicesi assurdo una proposizione composta che ha sempre valore di verit`
a F qualunque sia
il valore di verità delle proposizioni che appaiono in essa.
Esempio 2.1 Possiamo costruire esempi di tautologie e assurdi usando solo una proposizione, che indichiamo con p. Come si vede in Tabella 8, i valori di verità delle proposizioni
composte p p e p p sono rispettivamente sempre V e F indipendentemente dal valore
di verità di p.
p p p p
Tabella 8
Definizione 2.2 Le proposizioni p e q si dicono logicamente equivalenti se p q è una
tautologia. La notazione p q indica che p e q sono logicamente equivalenti.
9
Un modo per verificare se due proposizioni sono logicamente equivalenti è dato dal calcolo
delle loro tavole di verità. Precisamente p e q sono equivalenti se e solo se le colonne risultanti
nelle loro rispettive tavole di verità coincidono. Illustriamo ciò in alcuni esempi.
Esempio 2.2 Le proposizioni composte (p q) e p q sono equivalenti.
Basta calcolare le loro tavole di verità e verificare che esse coincidono (si veda la Tabella
9).
p q (p q)
p q
F
F
Tabella 9
Esempio 2.3 Le proposizioni composte p q e p q sono equivalenti.
10).
p q p q
Tabella 10
10
Esempio 2.4 Le proposizioni composte p (q r) e (p q) (p r) sono equivalenti.

11).
Si osservi che se una proposizione è composta da tre altre proposizioni, la sua tavola di
verità contiene otto righe. In generale, se una proposizione si ottiene componendone altre n,
la sua tavola di verità richiede 2n righe.
q r p (q r) p q p r (p q) (p r)
Tabella 11
La Tabella 12 contiene equivalenze interessanti. Con le parole V ERA e F ALSA indichiamo rispettivamente una proposizione sempre vera oppure sempre falsa.
Lassociatività per la disgiunzione mostra che lespressione p q r è ben definita, nel
senso che non ha importanza se prima applichiamo la disgiunzione fra p e q e poi al risultato applichiamo la disgiunzione con r oppure se applichiamo la disgiunzione fra p e q r.
Analogamente p q r è ben definita. Generalizzando, se p1 , p2 , . . . , pn sono proposizioni,
le scritture p1 p2 . . . pn e p1 p2 . . . pn sono ben definite. Si osservi che le regole di
De Morgan si estendono nel seguente modo:
(p1 p2 . . . pn ) (p1 p2 . . . pn ),
(p1 p2 . . . pn ) (p1 p2 . . . pn ).
11
p V ERA p
p F ALSA p
Identita0
p V ERA V ERA
p F ALSA F ALSA
Domination
ppp
ppp
Idempotenza
(p) p
Doppia negazione
pq qp
pq qp
Commutativita0
(p q) r p (q r)
(p q) r p (q r)
Associativita0
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Distributivita0
(p q) p q
(p q) p q
De Morgan
Tabella 12
Altre ovvie equivalenze logiche sono quelle della Tabella 13.
p p V ERA
p p F ALSA
(p q) (p q)
Tabella 13
Equivalenze come quelle delle Tabelle 12 e 13 sono utili nella costruzione di ulteriori equivalenze logiche. Limportanza di queste ultime è dovuta al fatto che spesso in una proposizione
composta è utile cambiare una proposizione componente con una ad essa equivalente (cioè
avente lo stesso valore di verità). Vediamo ciò nei due esempi seguenti. In essi viene anche
utilizzata la proprietà transitiva delle equivalenze: se p q e q r allora p r.
12
Esempio 2.5 Le proposizioni (p (p q)) e p q sono equivalenti.

Invece di usare le loro tavole di verità, proveremo lequivalenza in esame attraverso una
successione di equivalenze logiche partendo dalla (p (p q)) e arrivando alla p q.
In ogni passo sfrutteremo una equivalenza delle Tabelle 12 o 13 (controllare quale).
(p (p q)) p (p q) p [(p) q] p (p q)
(p p) (p q) F ALSA (p q) p q.
Esempio 2.6 La proposizione (p q) (p q) è una tautologia.
Useremo le equivalenze logiche per provare che la proposizione in esame è equivalente a
V ERA (lo stesso potrebbe essere fatto attraverso la tavola di verità).
(p q) (p q) (p q) (p q) (p q) (p q) (p p) (q q)
V ERA V ERA V ERA.
Per verificare il valore di verità di una funzione composta basterebbe determinarne la
tavola di verità. Ma cosa accade se il numero delle proposizioni componenti non è basso?
Supponiamo che vi siano 20 proposizioni componenti. In tal caso la tavola di verità della
proposizione composta contiene 220 = 1.048.576 righe. In questo caso potremo risolvere in
modo affidabile il nostro problema solo affidando ad un computer il calcolo della tavola di
verità. Ma, nel caso in cui le proposizioni componenti crescano a 1000, il tempo di risposta
del computer sarebbe proibitivo (il computer dovrebbe verificare 21000 combinazioni di valori
di verità). Daltro canto non si conoscono altre procedure che un computer possa usare per
verificare, in un tempo ragionevole, se una proposizione composta sia o no una tautologia.
Per questi motivi riveste una notevole importanza in informatica lo studio della complessità
di un algoritmo.
Predicati e quantificatori
Espressioni contenenti variabili, come x > 3, x = y + 3 e x + y = t, sono comuni

in matematica. Queste espressioni non sono, in generale, nè vere nè false (quindi non sono
proposizioni nel senso definito precedentemente). Affinchè lo diventino occorre specificare
il valore delle variabili che appaiono in esse. Consideriamo la prima x > 3, cioè x è
maggiore di 3. Questa espressione è composta da due parti. La prima è la variabile x, il
soggetto. La seconda, il predicato è maggiore di 3, esprime una proprietà che il soggetto
può avere. Possiamo indicare lespressione x è maggiore di 3 con P (x) convenendo che P
indichi il predicato è maggiore di 3 ed x il soggetto. Lespressione P (x) è detta valore della
funzione proposizionale P in x. Una volta che un valore sia stato assegnato alla variabile x,
P (x) diventa una proposizione ed ha quindi un valore di verità.
Esempio 3.1 Sia P (x) lespressione x > 3. Calcolare i valori di verità di P (4) e di P (1).
Abbiamo P (4) =4 > 3. Quindi P (4) è V. Invece P (1) è F in quanto P (1) =1 > 3.
13
Possiamo avere espressioni dipendenti da una o pi`

u variabili. Per esempio le espressioni
x = y + 3 e x + y = t, dipendendo rispettivamente da due e tre variabili, le possiamo
indicare con Q(x, y) e R(x, y, t).
Similmente allEsempio 3.1, otteniamo che Q(1, 2) è F, Q(3, 0) è V, R(1, 2, 3) è V e
R(1, 0, 3) è F.
In generale, indicheremo con P (x1 , x2 , . . . , xn ) unespressione dipendente da n variabili.
Diremo che P (x1 , x2 , . . . , xn ) è il valore della funzione proposizionale P nella n-upla
(x1 , x2 , . . . , xn ), e P è detto il predicato.
Spesso le proposizioni funzionali sono usate anche nella scrittura di programmi per computer.
Esempio 3.2 Si consideri la seguente istruzione
if x > 0 then x := x + 1.
Quando essa è incontrata da un programma, il valore della variabile x viene inserito nella
espressione P (x) =x > 0. Se P (x) è V per quello specifico valore di x, allora lassegnazione
x := x + 1 viene eseguita, cioè il valore di x viene incrementato di 1. Se P (x) è F, sempre
per quello specifico valore di x, lassegnazione x := x + 1 non viene eseguita, cioè il valore di
x rimane inalterato.
Abbiamo visto che assegnando dei valori alle variabili di una funzione proposizionale
otteniamo una proposizione. Un altro modo per ottenere una proposizione da una funzione
proposizionale è luso del quantificatore universale (per ogni) e del quantificatore esistenziale
(esiste).
Molti enunciati matematici affermano che una proprietà è vera per tutti i valori di una
variabile in un particolare dominio detto luniverso del discorso. Un tale enunciato viene
espresso mediante luso di un quantificatore universale. La quantificazione universale di una
funzione proposizionale P (x) è la proposizione che afferma che P (x) è vera qualunque sia il
valore di x nelluniverso del discorso. Useremo la notazione xP (x) per indicare la quantificazione universale di P (x). Ovviamente bisogna aver specificato prima qualè luniverso del
discorso.
Esempio 3.3 Esprimere la frase Ogni studente di questa classe ha studiato Formazione
Analitica I come una quantificazione universale.
Poniamo P (x) =x ha studiato Formazione Analitica I. Allora lenunciato Ogni studente di questa classe ha studiato Formazione Analitica I può essere scritto come xP (x)
a condizione che sia ben precisato che luniverso del discorso è dato da tutti gli studenti di
questa classe.
Se poniamo S(x)=x è in questa classe, lenunciato precedente può essere scritto nel
seguente modo
x(S(x) P (x)).
14
Lesempio 3.3 mostra quindi che una quantificazione può essere espressa in pi`
u di un
modo.
Esempio 3.4 Sia P (x) =x + 1 > x. Qualè il valore di verità di xP (x), essendo linsieme
dei numeri reali luniverso del discorso?
Poichè P (x) è vera per ogni numero reale x, il valore di verità di xP (x) è V.
Esempio 3.5 Sia Q(x) =x < 2. Qualè il valore di verità di xQ(x), essendo linsieme
Q(x) non è vera per ogni numero reale x (per esempio Q(5) è falsa. Quindi il valore di
verità di xQ(x) è F.
Esempio 3.6 Sia P (x) =x2 < 10. Qualè il valore di verità di xP (x), essendo luniverso
del discorso dato da tutti gli interi positivi e minori od uguali a 4?
Si osservi che il valore di verità di xP (x) coincide con quello di P (1)P (2)P (3)P (4)
poichè luniverso del discorso coincide con linsieme dei numeri 1, 2, 3 e 4. Essendo F il valore
di verità di P (4) sarà anche F quello di xP (x).
Molti enunciati matematici asseriscono che nelluniverso del discorso esiste (almeno) un
elemento che gode di una certa proprietà. Un tale enunciato si esprime mediante la quantificazione esistenziale di una funzione proposizionale. Precisamente, sia P (x) una funzione
proposizionale. Diremo quantificazione esistenziale di P (x) la proposizione Esiste un elemento x nelluniverso del discorso tale che P (x) è vera. La quantificazione esistenziale di
P (x) si denota con la scrittura xP (x). Spesso, invece di dire esiste un x tale che P (x) si
dice per qualche x P (x).
Esempio 3.7 Sia P (x) =x > 3. Qualè il valore di verità di xP (x), essendo linsieme
Si ha, per esempio, che P (4) è V. Allora anche xP (x) è V.
Esempio 3.8 Sia Q(x) =x = x+1. Qualè il valore di verità di xQ(x), essendo linsieme
Poichè Q(x) è falsa per ogni numero reale x, il valore di verità di xQ(x) è F.
Esempio 3.9 Sia P (x) =x2 > 10. Qualè il valore di verità di xP (x), essendo luniverso
del discorso dato da tutti gli interi positivi e minori od uguali a 4?
Si osservi che il valore di verità di xP (x) coincide con quello di P (1)P (2)P (3)P (4)
poichè luniverso del discorso coincide con linsieme dei numeri 1, 2, 3 e 4. Essendo V il
valore di verità di P (4) sarà anche V quello di xP (x).
In Tabella 14 sono riassunti i significati dei quantificatori universale ed esistenziale.
15
Funzione
proposizionale
Quando e0 vera?
Quando e0 falsa?
xP (x)
P (x) e0 vera per ogni x
Esiste un x per cui P (x)

e0 falsa
xP (x)
Esiste un x per cui P (x)

e0 vera
P (x) e0 falsa per ogni x
Tabella 14
Se luniverso del discorso contiene un numero finito di elementi, per determinare il valore
di verità di xP (x) oppure di xP (x) si può procedere calcolando il valore di verità di P (x)
per ogni x nelluniverso del discorso procedendo in modo simile agli Esempi 3.6 e 3.9.
Certe espressioni logiche sono molto complicate. In tal caso conviene tradurle nel linguaggio comune. Vediamo i seguenti esempi.
Esempio 3.10 Tradurre in forma pi`
u comprensibile la seguente espressione
x[C(x) y(C(y) F (x, y))],
tenendo presente che C(x) =x ha un computer, F (x, y) =x e y sono amici e che luniverso
del discorso per entrambe le variabili x e y è linsieme degli studenti della tua scuola.
Lenunciato dice che per ogni studente x della tua scuola, x ha un computer oppure cè
uno studente y che ha un computer e x ed y sono amici. In altre parole, ogni studente
della tua scuola ha un computer oppure è amico di uno studente della tua scuola che ha un
computer.
Esempio 3.11 Tradurre in forma pi`
u comprensibile la seguente espressione
xyz[(F (x, y) F (x, z) (y 6= z)) F (y, z)],
tenendo presente che F (x, y) =x e y sono amici e che luniverso del discorso per tutte e
tre le variabili x, y e z è linsieme degli studenti della tua scuola.
Lenunciato dice che cè uno studente x della tua scuola tale che per ogni studente y e
per ogni studente z diverso da y, se x e y sono amici e x e z sono amici, allora y e z non sono
amici. In altre parole, esiste almeno uno studente i cui amici non sono mai amici fra loro.
Si osservi che la proposizione di questo esempio è sempre falsa a meno che non si supponga
x 6= y e x 6= z.
16
Esempio 3.12 Supponiamo che luniverso del discorso per tutte le variabili di questo esempio sia linsieme dei numeri reali.
Lenunciato
xy(x + y = y + x)
dice che x + y = y + x per tutti i numeri reali x e y. Questa è la proprietà commutativa
delladdizione nei numeri reali.
Lenunciato
xy(x + y = 0)
dice che per ogni numero reale x esiste almeno un numero reale y tale che x + y = 0. Cioè
ogni numero reale ha almeno un opposto.
Infine
xyz(x + (y + z) = (x + y) + z)
è la proprietà associativa delladdizione nei numeri reali.
Negli esempi seguenti mostrano come esprimere espressioni del linguaggio comune in
espressioni logiche.
Esempio 3.13 Tradurre in espressioni logiche le seguenti frasi: Qualche studente di questa
classe è stato in Francia, Ogni studente di questa classe è stato o in Francia o in Inghilterra.
Luniverso del discorso per la variabile x è linsieme degli studenti di questa classe. Siano
F (x) =x è stato in Francia e I(x) =x è stato in Inghiterra. Allora Qualche studente
di questa classe è stato in Francia può essere scritta come xF (x), mentre la frase Ogni
studente di questa classe è stato o in Francia o in Inghilterra si traduce in x(F (x) I(x)).
Esempio 3.14 Tradurre in espressione logica la frase Ognuno ha un solo miglior amico.
Luniverso del discorso per le variabili x, y e z è linsieme di tutte le persone. Sia
B(x, y) =y è il miglior amico di x. La frase dellesempio afferma che per ogni persona x
esiste unaltra persona y tale che y è il miglior amico di x e che se z è una terza persona,
diversa sia da x che da y, allora z non è il miglior amico di x. In definitiva, possiamo scrivere
la traduzione della nostra frase è
xyz[B(x, y) (((z 6= x) (z 6= y)) B(x, z))].
Esempio 3.15 Tradurre in espressione logica la frase Se qualcuno è di sesso femminile ed
è genitore, allora è una madre.
Luniverso del discorso, sia per x che per y, è linsieme di tutte le persone. Siano F (x) =x
è di sesso femminile e G(x) =x è genitore. Infine poniamo M (x, y) =x è madre di y.
La traduzione della nostra frase è
x((F (x) G(x)) yM (x, y)).
17
Esempio 3.16 Tradurre in espressione logica la frase Esiste una donna che ha volato con
ogni compagnia aerea del mondo.
Siano d, v e c le variabili nei seguenti rispettivi universi del discorso: insieme delle
donne, insieme dei voli e insieme delle compagnie aeree. Poniamo P (d, v) =d ha preso v e
Q(v, a) =v è un volo di a. La traduzione della nostra frase è
dav(P (d, v) Q(v, a)).
Esempio 3.17 Tradurre in espressione logica la definizione
lim f (x) = L
xa
essendo a ed L numeri reali e f (x) una funzione reale di variabile reale.

Ricordiamo che la definizione di limxa f (x) = L è: Per ogni numero reale positivo
esiste un numero reale positivo tale che |f (x) L| < ogniqualvolta 0 < |x a| < .
Possiamo tradurre questa definizione nella seguente espressione logica
> 0 > 0x(0 < |x a| < |f (x) L| < ).
Esempio 3.18 Tradurre in espressioni logiche i seguenti enunciati: Tutti i leoni sono animali feroci, Alcuni leoni non bevono caffè e Qualche animale feroce non beve caffè.
Poniamo P (x) =x è un leone, Q(x) =x è un animale feroce, R(x) =x beve caffè
e supponiamo che luniverso del discorso sia linsieme di tutti gli animali. I tre enunciati
precedenti si traducono rispettivamente nelle tre seguenti espressioni logiche:
x(P (x) Q(x)),
x(P (x) R(x)),
x(Q(x) R(x)).
Nel Paragrafo 4 useremo regole di inferenza che mostrano come dalle prime due espressioni
(premesse) segua la terza (conclusione).
Esempio 3.19 Tradurre in espressioni logiche i seguenti enunciati: Tutti i colibr` sono
molto colorati, Gli uccelli grandi non si cibano di miele, Gli uccelli che non si cibano di
miele hanno colori spenti e I colibr` sono piccoli.
Poniamo P (x) =x è un colibr`, Q(x) =x è grande, R(x) =x si ciba di miele,
S(x) =x è molto colorato e supponiamo che luniverso del discorso sia linsieme di tutti
gli uccelli. I tre enunciati precedenti si traducono rispettivamente nelle quattro seguenti
espressioni logiche:
x(P (x) S(x)),
x(Q(x) R(x)),
x(R(x) S(x)),
x(P (x) Q(x)).
Nel Paragrafo 4 useremo regole di inferenza che mostrano come dalle prime tre espressioni
(premesse) segua la quarta (conclusione).
18
Diremo che una variabile è impegnata se ad essa è applicato un quantificatore oppure

quando ad essa viene assegnato un valore. Altrimenti la variabile viene detta libera. Tutte
le variabili di una funzione proposizionale devono essere impegnate. Spesso gli enunciati
matematici contengono quantificazioni di funzioni proposizionali che dipendeno da parecchie
` quindi molto importante lordine in cui vengono scritti i quantificatori. Mostrivariabili. E
amo ciò negli Esempi 3.20, 3.21 e 3.22. In essi luniverso del discorso, per tutte le variabili,
è linsieme dei numeri reali.
Esempio 3.20 Sia P (x, y) =x + y = y + x. Determinare il valore di verità della quantificazione xyP (x, y).
Si osservi che xyP (x, y) si può tradurre nella seguente espressione Per ogni numero
reale x e per ogni numero reale y, è vero che x + y = y + x. Quindi il valore di verità di
xyP (x, y) è V.
Esempio 3.21 Sia Q(x, y) =x+y = 0. Determinare il valore di verità delle quantificazioni
yxQ(x, y) e xyQ(x, y).
Si osservi che yxQ(x, y) si può tradurre nella seguente espressione Esiste un numero
reale y tale che per ogni numero reale x, Q(x, y) è vera. Poichè comunque si prenda il
numero reale y, esiste solo un numero reale x per cui x + y = 0, possiamo concludere che il
valore di yxQ(x, y) è F.
Analogamente, xyQ(x, y) si può tradurre nella seguente espressione Per ogni numero
reale x esiste un numero reale y tale che Q(x, y) sia vera. Quindi il valore di xyQ(x, y)
è V.
LEsempio 3.21 mostra limportanza dellordine in cui appaiono i quantificatori. Le proposizioni yxQ(x, y) e xyQ(x, y) non sono logicamente equivalenti. Infatti
yxQ(x, y) è vera se e solo se esiste un y che rende vera Q(x, y) per ogni x. Quindi questa
proposizione è vera se esiste un y per cui Q(x, y) è vera indipendentemente dalla scelta del
valore di x. Daltro canto, xyQ(x, y) è vera se e solo se per ogni valore di x esiste un
valore di y per cui Q(x, y) è vera. In questo caso y può dipendere da x, mentre nel primo
caso y era una costante indipendente da x.
Da queste osservazioni segue che se yxQ(x, y) è vera, allora xyQ(x, y) deve anche
essere vera. Però, se xyQ(x, y) è vera, non è detto che yxQ(x, y) sia vera.
Lavorando con quantificazioni di pi`
u di una variabile può essere utile pensare che ogni
variabile ricopra tutti i valori del suo universo (chiaramente questo non è realmente fattibile
se luniverso del discorso è infinito). Per esempio, per vedere se xyP (x, y) è vera, pensiamo
ad ogni possibile valore di x e, per ogni x fissato, ad ogni possibile valore di y. Se otteniamo
che P (x, y) è sempre vera, abbiamo provato che xyP (x, y) è vera. Se incontriamo un valore
di x per cui sia possibile trovare un valore di y per cui P (x, y) è falsa, allora xyP (x, y) è
falsa.
Analogamente, per verificare se xyP (x, y) è vera, pensiamo che x assuma tutti i valori
del suo universo. Per ognuno di questi valori di x, pensiamo che y ricopra tutti i valori
del suo universo fintantochè non ne troviamo uno per cui P (x, y) sia vera. Se per ogni x
19
incontriamo uno di questi y, xyP (x, y) è vera; se per qualche x non incontriamo nessuno
di questi valori di y, xyP (x, y) è falsa.
In modo simile si può procedere per xyP (x, y) e xyP (x, y).
La Tabella 15 riassume tutti i possibili casi per quantificazioni in cui le funzioni proposizionali hanno due variabili.
Proposizione
Quando e0 vera?
Quando e0 falsa?
xyP (x, y)
yxP (x, y)
P (x, y) e0 vera per ogni

coppia x, y.
Esiste una coppia x, y

per cui P (x, y) e0 falsa.
xyP (x, y)
Per ogni x esiste un y

per cui P (x, y) e0 vera.
Esiste un x tale che P (x, y)

e0 falsa per ogni y.
xyP (x, y)
Esiste un x per cui P (x, y)

e0 vera per ogni y.
Per ogni x esiste un y

per cui P (x, y) e0 falsa.
xyP (x, y)
yxP (x, y)
Esiste una coppia x, y

per cui P (x, y) e0 vera.
P (x, y) e0 falsa per ogni

coppia x, y.
Tabella 15
Esempio 3.22 Sia Q(x, y, z) =x + y = z. Determinare il valore di verità delle quantificazioni xyzQ(x, y, z) e zxyQ(x, y, z).
Si osservi che xyzQ(x, y, z) si può tradurre nella seguente espressione Per ogni numero reale x e per ogni numero reale y esiste un numero reale z tale che x + y = z sia vera.
Supponiamo che ad x e ad y siano assegnati due valori. Allora esiste un numero reale z tale
che x + y = z. Quindi il valore di verità di xyzQ(x, y, z) è V.
Si noti limportanza dellordine della quantificazione. Infatti la seconda quantificazione
zxyQ(x, y, z) equivale a dire Esiste un numero reale z tale che per ogni numero reale x
e per ogni numero reale y luguaglianza x + y = z è vera. Ovviamente un tale z non può
esistere, quindi il valore di verità di zxyQ(x, y, z) è F.
Consideriamo la negazione dellespressione Ogni studente di questa classe ha superato
il corso di Formazione discreta I. Questa espressione è una quantificazione universale, cioè
xP (x), dove P (x) =x ha superato il corso di Formazione discreta I. La negazione di
questa quantificazione è Non è vero che ogni studente di questa classe ha superato il corso
di Formazione discreta I, la quale equivale alla Esiste almeno uno studente di questa classe
20
che non ha superato il corso di Formazione discreta I, cioè xP (x). Abbiamo quindi visto
lequivalenza
xP (x) xP (x).
Analogamente si prova lequivalenza
xP (x) xP (x).
Le negazioni dei quantificatori sono riassunte nella Tabella 16.
Negazione Proposizione Quando la negazione

equivalente
e0 vera?
Quando e0 falsa?
xP (x)
xP (x)
P (x) e0 falsa
per ogni x.
Esiste un x per cui

P (x) e0 vera.
xP (x)
xP (x)
Esiste un x per cui

P (x) e0 falsa.
P (x) e0 vera
per ogni x.
Tabella 16
Regole di inferenza
In questo paragrafo cercheremo di dare una risposta alle seguenti domande:

1. Quando un ragionamento è matematicamente corretto?
2. Quali metodi possono essere usati per costruire ragionamenti matematici?
Un teorema è una proposizione di cui si deve provare la verità. Un teorema si dimostra mediante una successione di proposizioni che forma una argomentazione, detta dimostrazione. Le
dimostrazioni si ottengono derivando proposizioni nuove da proposizioni vecchie fra le quali
si possono trovare gli assiomi o postulati (che sono i presupposti della teoria), le ipotesi del
teorema da provare e gli enunciati di altri teoremi precedentemente provati. Le regole di inferenza sono quelle regole per cui si ottengono conclusioni da altre proposizioni. Ovviamente,
le regole di inferenza sono necessarie per la dimostrazione di un teorema.
Si osservi che, a volte, invece della parola teorema viene usato il termine lemma (nel caso
in cui si tratta di un teorema pi`
u semplice utile per la dimostrazione di un altro teorema) o
corollario (nel caso in cui si tratta di un teorema che è facile conseguenza di un teorema già
provato).
21
Una congettura è una proposizione il cui valore di verità è sconosciuto. Una congettura,
di cui si è dimostrata la verità, diventa un teorema.
Introduciamo alcune regole di inferenza per la logica proposizionale. La tautologia
(p (p q)) q è la base delle regole di inferenza. Essa è detta modus ponens. Essa viene
scritta nel modo seguente (col simbolo denotiamo la parola quindi):
p
pq
q
Con questa notazione, le ipotesi sono scritte in colonna e la conclusione al di sotto della
linea. Il modus ponens dice che: data unimplicazione, se essa è vera e la sua ipotesi è pure
vera, allora anche la sua conclusione è vera.
Esempio 4.1 Supponiamo vere sia limplicazione Se oggi nevica, andremo a sciare che la
sua ipotesi è oggi nevica. Chiaramente la conclusione dellimplicazione andremo a sciare
deve essere vera.
Esempio 4.2 Limplicazione Se n è divisibile per 3, allora n2 è divisibile per 9 è vera.
Quindi se supponiamo vero che n sia divisibile per tre abbiamo, per il modus ponens, che n
è divisibile per 9.
In Tabella 17 sono riportate le pi`
u importanti regole di inferenza. Esse possono essere
facilmente dimostrate attraverso le tavole di verità.
Esempio 4.3 Determinare su quale regola di inferenza si basa il seguente ragionamento In
questo momento siamo sotto i zero gradi, quindi o in questo momento siamo sotto i zero
gradi oppure sta piovendo.
Siano p =In questo momento siamo sotto i zero gradi e q =In questo momento sta
piovendo. Il ragionamento ha la forma
p
pq
Quindi la regola dinferenza usata è lAddizione.
Esempio 4.4 Determinare su quale regola di inferenza si basa il seguente ragionamento:
In questo momento vi sono pi`
u di 30 gradi e sta piovendo. Quindi, in questo momento sta
piovendo.
Poniamo p =In questo momento vi sono pi`
u di 30 e q =In questo momento sta
piovendo. Il ragionamento ha la forma
22
pq
p
Quindi la regola dinferenza usata è la Semplificazione.
Regola di inferenza
Tautologia
Nome
p
pq
p (p q)
Addizione
pq
p
(p q) p
Semplificazione
((p) (q)) (p q)
Congiunzione
p
pq
q
[p (p q)] q
Modus ponens
q
pq
p
[q (p q)] p
Modus tollens
[(p q) (q r)] (p r)
Sillogismo ipotetico
[(p q) p] q
Sillogismo disgiuntivo
(p q) (q p)
Contronominale
p
q
pq
pq
qr
pr
pq
p
q
pq
q p
Tabella 17
Esempio 4.5 Determinare su quale regola di inferenza si basa il seguente ragionamento: Se
oggi piove non accenderemo il barbecue. Se oggi non accendiamo il barbecue, lo accenderemo
domani. Perciò, se oggi piove, accenderemo il barbecue domani.
23
Poniamo p =Oggi piove, q =Oggi non accendiamo il barbecue e r =Domani accenderemo il barbecue. Il ragionamento ha la forma
pq
qr
pr
Quindi la regola dinferenza usata è il Sillogismo ipotetico.
Diremo che un ragionamento è valido se quando tutte le ipotesi sono vere allora la conlusione è vera. Quindi, mostrare che q è conseguenza delle ipotesi p1 , p2 , . . . , pn equivale a
provare che la seguente implicazione sia vera
(p1 p2 . . . pn ) q.
Se tutte le ipotesi usate in un ragionamento valido sono vere, si ottiene una conclusione
corretta. Si noti che un ragionamento valido può portare ad una conclusione errata se durante
le argomentazioni sono state usate una o pi`
u proposizioni false. Per esempio, consideriamo
il seguente ragionamento: Se 101 è divisibile per 3, allora 1012 è divisibile per 9. 101
è divisibile per 3. In conclusione 1012 è divisibile per 9. Esso è un ragionamento valido
basato sul modus ponens. Ma la conclusione è errata in quanto 1012 = 10201 non è divisibile
per 9. Il motivo è che nel corso del ragionamento è stata usata la proposizione falsa 101 è
divisibile per 3.
Come mostrano i seguenti esempi, una dimostrazione potrebbe necessitare di molte regole
di inferenza.
Esempio 4.6 Siano date le seguenti ipotesi: Questo pomeriggio non cè molto sole e fa pi`
u
caldo di ieri, Se andremo a nuotare allora cè molto sole, Se non andremo a nuotare,
faremo un giro in canoa e Se faremo un giro in canoa, saremo a casa prima del tramonto.
Provare che dalle precedenti ipotesi segue la conclusione Saremo a casa prima del tramonto.
Poniamo: p =Questo pomeriggio cè molto sole, q =Questo pomeriggio fa pi`
u caldo
di ieri, r =Andremo a nuotare, s =Faremo un giro in canoa e t =Saremo a casa prima
del tramonto. Allora le nostre ipotesi diventano rispettivamente: p q, r p, r s e
s t. La conclusione è t. Proviamola un passo alla volta.
Passo
1. p q
2. p
3. r p
4. r
5. r s
6. s
7. s t
8. t
Spiegazione
Ipotesi
Semplificazione che usa il passo 1
Ipotesi
Modus tollens che usa i passi 2 e 3
Ipotesi
Modus ponens che usa i passi 4 e 5
Ipotesi
24
Esempio 4.7 Siano date le seguenti ipotesi: Se mi mandi una e-mail, finirò di scrivere il
programma, Se non mi mandi una e-mail, andrò a dormire presto e Se vado a dormire
presto, mi sveglierò riposato. Provare che dalle precedenti ipotesi segue la conclusione Se
non finirò di scrivere il programma, mi sveglierò riposato.
Poniamo: p =Tu mi mandi una e-mail, q =Finirò di scrivere il programma, r =Andrò
a dormire presto e s =Mi sveglierò riposato. Allora le nostre ipotesi diventano rispettivamente: p q, p r e r s. La conclusione è q s. Proviamola un passo alla
volta.
Passo
1. p q
2. q p
3. p r
4. q r
5. r s
6. q s
Spiegazione
Ipotesi
Contronominale del passo 1
Ipotesi
Sillogismo ipotetico che usa i passi 2 e 3
Ipotesi
Sillogismo ipotetico che usa i passi 4 e 5
Si osservi che la proposizione [(p q) q] p non è una tautologia, infatti essa è falsa
quando p è falsa e q è vera. Purtroppo, vi sono molti ragionamenti che la trattano come una
tautologia portando allerrore di affermare per vera la conclusione.
Esempio 4.8 Verificare se il seguente ragionamento è valido: Se hai svolto ogni esercizio
di quel libro, allora hai imparato la matematica discreta. Tu hai imparato la matematica
discreta. Perciò hai svolto ogni esercizio di quel libro.
Poniamo p =Hai svolto ogni esercizio di quel libro e q =Hai imparato la matematica
discreta. Allora il ragionamento di sopra è di questa forma: se p q e q, allora p. Questo
ragionamento è chiaramente sbagliato in quanto tu potresti aver imparato la matematica
discreta svolgendo gli esercizi di un libro diverso da quello indicato, oppure seguendo un
corso.
Esempio 4.9 Siano date le proposizioni p =Il resto della divisione intera di n per 3 è 1
e q =Il resto della divisione intera di n2 per 3 è 1. Limplicazione p q è vera, infatti
essa equivale a dire che Se il resto della divisione intera di n per 3 è 1, allora il resto della
divisione intera di n2 per 3 è 1. Possiamo dire che se q è vera, allora p è vera? Sicuramente
no. Infatti basta porre n = 2.
La proposizione [(p q) p] q non è una tautologia, poichè essa è falsa quando p
è falsa e q è vera. Lerrore che si commette consiste nel negare lipotesi.
Esempio 4.10 Siano p e q le proposizioni date nellEsempio 4.8. Se limplicazione p q
è vera e p è vera, possiamo dire che q è anchessa vera? In altre parole, supposto vero
che Se hai svolto ogni esercizio di quel libro, allora hai imparato la matematica discreta,
25
possiamo dire che Se non hai svolto ogni esercizio di quel libro, allora non hai imparato
la matematica discreta? Chiaramente no. Infatti potresti aver imparato la matematica
discreta anche senza aver svolto esercizi di quel libro. Questo è un ragionamento scorretto
della forma [(p q) p] q.
` corretto assumere che se
Esempio 4.11 Siano p e q le proposizioni date nellEsempio 4.9. E
p è vera allora q è vera? Anche in questo caso la risposta è no. Basti considerare n = 2.
Molti ragionamenti sbagliati si commettono cadendo in un circolo vizioso, cioè nella
dimostrazione della verità di una proposizione p si assume che fra le proposizioni supposte
vere come ipotesi si trovi p stessa o, come spesso accade, una proposizione equivalente a p.
Esempio 4.12 Vogliamo provare il seguente teorema: n è un intero pari se n2 è un intero
pari. Usiamo il seguente ragionamento: Supponiamo che n2 sia un intero pari. Allora
n2 = 2k per qualche intero k. Sia n = 2m per qualche intero m. Allora n è pari.
La dimostrazione precedente è errata. Infatti ho provato che n è pari supponendo per
ipotesi che n = 2m, cioè che n è pari.
Si noti che lenunciato del teorema è corretto. Solamente la dimostrazione è sbagliata.
Si invita il lettore a produrre una dimostrazione corretta.
Abbiamo finora considerato regole di inferenza per proposizioni. Consideriamo ora alcune
regole di inferenza per proposizioni quantificate.
Universal instantiation è la regola di inferenza che partendo dal presupposto xP (x)
permette di concludere che P (c) è vera nel caso in cui c appartiene alluniverso del discorso
per la variabile x. Questa regola viene usata quando dal supposto Tutti gli uomini sono
mortali concludiamo che Socrate è mortale, essendo Socrate un uomo, cioè un elemento
particolare delluniverso del discorso.
Universal generalization è la regola di inferenza che dice che se P (c) è vera per ogni
elemento c delluniverso del discorso, allora xP (x) è vera. Questa regola non vale se viene
provato che solo per uno od alcuni particolari valore di c vale P (c).
Existential instantion è la regola di inferenza che permette di concludere che esiste almeno un elemento c nelluniverso del discorso per cui P (c) è vera qualora sappiamo che la
proposizione xP (x) è vera. Si osservi che in questo caso non possiamo indicare quale sia lo
specifico valore di c per cui P (c) sia vera ma solamente possiamo affermare che esso esiste.
Existential generalization è la regola di inferenza usata per concludere che xP (x) è vera
qualora sia stato trovato un elemento c nelluniverso del discorso per cui P (c) è vera.
Le precedenti regole sono riassunte nella Tabella 18.
26
Regola di inferenza
Nome
xP (x)
P (c) se c U
Universal instantiation
P (c) per un arbitrario c U

xP (x)
Universal generalization
xP (x)
P (c) per qualche c U
Existential instantiation
P (c) per qualche c U

xP (x)
Existential generalization
Tabella 18
Esempio 4.13 Mostrare come le premesse Ogni studente di questa classe ha superato il
corso di Formazione discreta I e Giovanni è uno studente di questa classe implicano la
conclusione Giovanni ha superato lesame di Formazione discreta I.
Poniamo: D(x) =x è uno studente di questa classe e C(x) =x ha superato il corso di
Formazione discreta I. Le premesse o ipotesi sono x(D(x) C(x)) e D(Giovanni). La
conclusione è C(Giovanni). I seguenti passi mostrano la dimostrazione.
Passo
1. x(D(x) C(x))
2. D(Giovanni) C(Giovanni)
3. D(Giovanni)
4. C(Giovanni)
Spiegazione
Ipotesi
Universal instantiation del passo 1
Ipotesi
Si osservi che le dimostrazioni matematiche spesso includono passi dove sono usate contemporaneamente regole di inferenza per proposizioni quantificate e non quantificate. Per
esempio luniversal instantiation e il modus ponens sono spesso usate insieme. Quando
queste due regole di inferenza sono combinate, le ipotesi x(P (x) Q(x)) e P (c), dove c è
un elemento delluniverso del discorso, mostrano che la conclusione Q(c) è vera.
Molti teoremi in matematica affermano che una proprietà vale per tutti gli elementi di
un certo insieme (per esempio linsieme dei numeri interi positivi o quello dei numeri reali).
Lenunciazione precisa di questi teoremi richiederebbe linclusione di un quantificatore universale, ma è convenzione standard in matematica ometterlo. Per esempio, lenunciato Se
lintero n è divisibile per 3, allora n2 è divisibile per 9 dovrebbe essere scritto Per tutti
27
gli interi n, se n è divisibile per 3, allora n2 è divisibile per 9. Similmente, lenunciato Se

x > y, con x e y numeri reali positivi, allora x2 > y 2 dovrebbe scriversi Per tutti i numeri
reali positivi x e y, se x > y, allora x2 > y 2 . Inoltre, in teoremi di questo tipo la regola
delluniversal generalization è spesso usata senza essere esplicitamente menzionata. In generale, nel primo passo della dimostrazione, si seleziona un elemento generico delluniverso del
discorso. Nei passi succesivi si mostra che esso gode della proprietà in questione. Luniversal
generalization prova che essa vale per ogni elemento delluniverso del discorso.
Nel seguito, converremo di non citare esplicitamente luso delluniversal instatiation e
delluniversal generalization. Lasciamo al lettore il compito di capire quando queste regole
di inferenza sono usate implicitamente.
Ricordiamo che p q è sempre vera eccetto quando p è vera e q è falsa. Per provare
che p q è vera, è sufficiente provare che se p è vera, allora q è vera. Infatti questo fatto
mostra che la combinazione p vera e q falsa non è possibile. Questo tipo di dimostrazione si
dice diretta. Per dimostrare la verità di p q, si suppone che p è vera e si usano regole di
inferenza e teoremi già provati per ottenere che anche q è vera.
Esempio 4.14 Dare una dimostrazione diretta del teorema Se n è dispari, allora n2 è
dispari.
Supponiamo vera lipotesi del teorema. Cioè supponiamo che n sia dispari. Allora n =
2k + 1, per qualche intero k. Segue che n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1.
Perciò n2 è dispari.
Limplicazione p q è equivalente a q p. Cioè la verità dellimplicazione p q
può essere dimostrata provando la verità di q p. Questo tipo di dimostrazione si dice
indiretta.
Esempio 4.15 Dare una dimostrazione indiretta del teorema Se 3n + 2 è dispari, allora n
è dispari.
Supponiamo che lipotesi del teorema sia falsa. Cioè supponiamo che n sia pari. Allora
n = 2k, per qualche intero k. Segue che 3n + 2 = 3(2k) + 2 = 6k + 2 = 2(3k + 1). Cos` 3n + 2
è pari. Poichè la conclusione dellimplicazione implica che lipotesi è falsa, limplicazione
originale è vera.
Supponiamo che lipotesi p di una implicazione p q sia falsa. Allora limplicazione
p q è vera perchè la proposizione ha la forma FV oppure FF, e quindi è vera.
Conseguentemente, se si può provare che p è falsa si è ottenuta la dimostrazione, detta
dimostrazione oziosa, di p q. Dimostrazioni di questo tipo sono spesso usate per stabilire
casi particolari di teoremi che affermano che una certa proprietà è vera per tutti gli interi
positivi n.
Esempio 4.16 Mostrare che la proposizione P (0) è vera, essendo P (n) =Se n > 1, allora
n2 > n.
La proposizione P (0) è Se 0 > 1, allora 02 > 0. Poichè lipotesi è falsa, limplicazione
P (0) è vera.
28
` importante sottolineare come il fatto che la conclusione dellimplicazione, 02 > 0, è

E
falsa non è rilevante per la verità dellimplicazione stessa.
Supponiamo che la conclusione q di una implicazione p q sia vera. Allora limplicazione
p q è vera, perchè la proposizione ha la forma VV oppure FV, che sono entrambe
vere. Quindi, se q è vera si è ottenuta una dimostrazione, detta banale, di p q. Le
dimostrazioni banali sono importanti nella dimostrazione di casi particolari di teoremi e
nellinduzione matematica.
Esempio 4.17 Sia P (n) la proposizione Se a e b sono interi positivi con a b, allora
an bn . Mostrare che la proposizione P (0) è vera.
La proposizione P (0) è Se a e b sono interi positivi con a b, allora a0 b0 . Poichè
0
a = b0 = 1, la conclusione P (0) è vera. Quindi P (0) è vera. Questo è un esempio di
dimostrazione banale. Si osservi che per la dimostrazione di questo caso particolare lipotesi
a b non è necessaria.
Supponiamo che q sia un assurdo (cioè una proposizione sempre falsa) tale che p q
sia vera, cioè p F ALSA è vera. Allora p è falsa e quindi p deve essere vera. Questa
tecnica può essere usata quando si può trovare un assurdo, come per esempio r r, in modo
tale che sia possibile provare che limplicazione p (r r) sia vera. Una dimostrazione
di questo tipo è detta per assurdo.
Esempio 4.18 Provare perassurdo che 2 è irrazionale.
Allora
2 è
Sia p la proposizione 2 è irrazionale. Supponiamo che p sia vera.
razionale. Mostreremo che questo porta ad un assurdo. Nellipotesi

che
2
`
e
razionale,
2
esistono due interi a e b, senza fattori a comune, tali che 2 = ab . Ne segue 2 = ab2 . Da
cui, 2b2 = a2 . Quindi a è pari. Inoltre, essendo a pari, a = 2c per qualche intero c. Cos`
2b2 = 4c2 , b2 = 2c2 . Ne segue che b2 , e quindi b, è pari. Consideriamo ora la proposizione
r =siano a e b due interi senza fattori a comune. Abbiamo appena provato che r è
vera (infatti a e b, essendo entrambi pari, hanno 2 come un fattore a comune). Daltronde
abbiamo visto che p r. In conclusione abbiamo provato che p (r r). Quindi p
è falsa. Segue che p è vera.
Una dimostrazione indiretta di una implicazione può essere riformulata come una dimostrazione per assurdo. La verità di p q si dimostra provando in modo diretto quella
di q p. Cioè, nella dimostrazione indiretta di p q supponiamo che q è vera e
mostriamo che p deve anche essere vera. Per riscrivere la dimostrazione indiretta di p q
come una dimostrazione per assurdo, supponiamo che entrambi p e q siano veri. Allora
usiamo i passi della dimostrazione diretta di q p per provare che p è vera. Questo
porta allassurdo p p, completando la dimostrazione per assurdo.
Esempio 4.19 Dimostrare per assurdo il teorema Se 3n + 2 è dispari, allora n è dispari.
Supponiamo che 3n+2 sia dispari ma che n non lo sia. Quindi n è pari. Procedendo come
nellEsempio 4.15, possiamo provare che se n è pari, allora 3n + 2 è pari. Questo contraddice
lipotesi che 3n + 2 è dispari completando la dimostrazione.
29
Per provare unimplicazione della forma

(p1 p2 . . . pn ) q
possiamo usare, come regola di inferenza, la seguente tautologia
[(p1 p2 . . . pn ) q] [(p1 q) (p2 q) . . . (pn q)].
Limplicazione originale avente come ipotesi la disgiunzione delle proposizioni p1 , p2 , . . . , pn
può essere provata dimostrando una ad una tutte le n implicazioni pi q, i = 1, 2, . . . , n. A
volte per provare che limplicazione p q è vera si preferisce determinare una successione
di proposizioni p1 , p2 , . . . , pn tale che p sia equivalente a p1 p2 . . . pn e provare che
(p1 p2 . . . pn ) q. Consideriamo il seguente esempio.
Esempio 4.20 Dimostrare il teorema Se n è un intero non divisibile per 3, allora n2 1 è
divisibile per 3.
Sia p =n non è divisibile per 3 e q =n2 1 è multiplo di 3. Allora p equivale a p1 p2 ,
essendo p1 =n 1 è divisibile per 3 e p2 =n 2 è divisibile per 3. Quindi mostrare che
p q equivale a (p1 p2 ) q e questultima equivale a (p1 q) (p2 q). Dimostriamo
quindi le due implicazioni p1 q e p2 q.
Supponiamo p1 vera. Allora n 1 è divisibile per 3, cioè n = 3k + 1 per qualche intero
k. Cos`, n2 = 9k 2 + 6k + 1 = 3(3k 2 + 2k) + 1. Segue che n2 1 è divisibile per 3, quindi
limplicazione p1 q è vera.
Sia ora p2 vera. Allora, n 2 è divisibile per 3, cioè si ha n = 3h + 2 per qualche intero
h. Cos`, n2 = 9h2 + 12h + 4 = 3(3h2 + 4h + 1) + 1. Quindi n2 1 è divisibile per 3, cioè
p2 q è vera.
Avendo provato che entrambe le implicazioni p1 q e p2 q sono vere, possiamo
concludere che (p1 p2 ) q è vera. Segue che p q è vera.
Per provare un teorema che è una equivalenza (cioè un teorema il cui enunciato ha la
forma p q, con p e q proposizioni) può essere usata la seguente tautologia
(p q) [(p q) (q p)].
Cioè la proposizione p se e solo se q è vera se lo sono entrambe le proposizioni p implica
q e q implica p.
Esempio 4.21 Dimostrare il teorema Lintero n è dispari se e solo se n2 è dispari.
Questo teorema ha la forma p se e solo se q, essendo p =n è dispari e q =n2 è dispari.
Per quanto detto sopra, basta provare che p q e q p sono entrambe vere. Abbiamo
visto nellEsempio 4.14 che p q è vera. Proviamo ora che q p è vera mediante una
dimostrazione indiretta. Supponiamo che p sia falsa, cioè che n è pari. Allora, n = 2k per
qualche intero k. Segue che n2 = 4k 2 = 2(2k 2 ), quindi n2 è pari e la dimostrazione di q p
è cos` completa. Avendo provato che p q e q p sono entrambe vere, otteniamo che
p q è vera.
30
A volte un teorema afferma che alcune proposizioni p1 , p2 , . . . , pn sono mutuamente equivalenti, cioè che p1 p2 . . . pn . Un modo per provare tutte queste equivalenze è dato
dalla seguente tautologia
[p1 p2 . . . pn ] [(p1 p2 ) (p2 p3 ) . . . (pn p1 )].
Cioè se si dimostrano vere le implicazioni p1 p2 , p2 p3 , . . . , pn p1 allora le proposizioni
p1 , p2 , . . . , pn sono tutte equivalenti fra loro.
Esempio 4.22 Dimostrare che, se n è intero, le tre seguenti proposizioni sono equivalenti.
p1 : n 1 è divisibile per 3 oppure n 2 è divisibile per 3
p2 : n non è divisibile per 3
p3 : n2 1 è divisibile per 3.
Per quanto detto sopra, provare che le tre proposizioni sono mutuamente equivalenti
equivale alla verità delle seguenti implicazioni: p1 p2 , p2 p3 e p3 p1 .
Proviamo che p1 p2 è vera. Supponiamo per il momento che n 1 sia divisibile per 3,
cioè n 1 = 3k per qualche intero k. Vogliamo provare per assurdo che n non è divisibile
per 3. Infatti, se n fosse divisibile per 3 avremmo n = 3h per qualche intero h, quindi
1 = n (n 1) = 3h 3k = 3(h k), cioè 1 sarebbe divisibile per 3 il che è assurdo.
Sia adesso n 2 divisibile per 3. Con analoghi ragionamenti si può provare che se n fosse
divisibile per 3 allora 2 dovrebbe essere divisibile per 3, assurdo. Cos` limplicazione p1 p2
rimane completamente provata.
Limplicazione p2 p3 è stata provata nellEsempio 4.20. Proviamo che p3 p1 è vera.
Supponiamo che p1 sia falsa, cioè che n è divisibile per 3 (si osservi che, dato un intero n
vale sempre una ed un sola delle tre seguenti proposizioni: n è divisibile per 3, n 1 è
divisibile per 3 e n 2 è divisibile per 3). Quindi n = 3k per qualche intero k. Segue
che n2 = 9k 2 = 3(3k 2 ), cioè n2 è divisibile per 3, quindi p3 è falsa e limplicazione p3 p1 è
provata.
Molti teoremi mirano a dimostrare lesistenza di un certo elemento avente una determinata proprietà. Essi hanno la forma del tipo xP (x) essendo P un predicato. La dimostrazione di una proposizione di questo tipo si dice dimostrazione di esistenza. Vi sono
diversi modi per produrre dimostrazioni di questo tipo. A volte si determina un ben preciso
elemento c per cui P (c) è vera (in tal caso parleremo di dimostrazione costruttiva). Esistono
anche dimostrazioni di esistenza che non sono costruttive. Cioè non possiamo trovare un
elemento c per cui P (c) è vera ma possiamo provare che xP (x) in qualche altro modo. In
questo caso, una delle dimostrazioni pi`
u usate è quella per assurdo: supponiamo che xP (x)
è falsa e ne ricaviamo un assurdo.
Esempio 4.23 Esempio di dimostrazione costruttiva. Dimostrare che per ogni intero positivo n esistono almeno n interi consecutivi che non sono numeri primi.
Lenunciato del teorema consiste nella seguente proposizione
31
nx(x + i non è primo per ogni i = 1, 2, . . . , n).

Sia n un intero positivo. Poniamo x = (n + 1)! + 1. Consideriamo gli interi x + 1, x +
2, . . . , x + n. Per i = 1, 2, . . . , n si ha x + i = (n + 1)! + (i + 1). Poichè i + 1 è un divisore di
(n + 1)! (si ricordi che 1 i n) lintero x + i non è primo per ogni i.
Esempio 4.24 Esempio di dimostrazione non costruttiva. Dimostrare che per ogni intero
positivo n esiste un numero primo maggiore di n.
Lenunciato del teorema consiste nella seguente proposizione
nx(x è primo e x > n).
Sia n un intero positivo. Consideriamo lintero n! + 1. Ovviamente n! + 1 > n. Se n! + 1 è
primo, poniamo x = n! + 1 e la dimostrazione è completata. Supponiamo ora che n! + 1 non
è primo. Allora esiste un primo y che divide n! + 1. Non può accadere che y n. Infatti,
se fosse y minore od uguale a n, seguirebbe che y dovrebbe dividere n! e quindi dovrebbe
dividere 1 = (n! + 1) n!, il che è assurdo. Quindi y è maggiore di n. Posto x = y il nostro
enunciato è completamente dimostrato.
Supponiamo di voler dimostrare che un enunciato della forma xP (x) è falso. Come
possiamo procedere? Ricordiamo che le proposizioni xP (x) e xP (x) sono equivalenti.
Cioè se troviamo un elemento c per cui P (c) è falsa, abbiamo provato che xP (x) è vera e
questultima equivale a dire che xP (x) è falsa. Un elemento c per cui P (c) è falso si dice
controesempio. Si osservi che per provare la falsità di xP (x) basta un solo controesempio.
Esempio 4.25 Dimostrare che la proposizione Tutti i primi sono dispari è falsa.
La proposizione Tutti i primi sono dispari è una quantificazione universale, cioè xQ(x),
essendo Q(x) =x è dispari e luniverso del discorso linsieme dei numeri primi. Si noti che
x = 2 è un primo pari. Quindi la proposizione Tutti i primi sono dispari è falsa.
Un errore diffuso consiste nel pensare che uno o pi`
u esempi in cui si verifica la verità della
proposizione P (x) possano provare che xP (x) sia vera. Anche se per innumerevoli elementi
c si sia verificata la verità di P (c), potrebbe accadere che xP (x) sia falsa.
Esempio 4.26 Dimostrare o confutare la proposizione per ogni intero positivo n, n2 n+41
è primo.
Posto P (n) =n2 n + 41 è primo, dobbiamo verificare se la proposizione nP (n) è
vera oppure falsa. Se poniamo c = 1, otteniamo P (1) = 41 che è primo. Lo stesso avviene
se c è un qualsiasi intero maggiore di uno e minore di 41. Ma si ha che P (41) non è primo.
Quindi non è vero che per ogni intero positivo n, n2 n + 41 è primo.
32

Logica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logica

Uploaded by

Copyright:

Available Formats

Cenni di Logica matematica

Definizione 1.3 Siano p e q due proposizioni. La frase p o q, denotata da p q, `e una

Esempio 1.6 Trovare linversa e la contronominale dellimplicazione: se oggi `e venerd`,

Esempio 2.4 Le proposizioni composte p (q r) e (p q) (p r) sono equivalenti.

Esempio 2.5 Le proposizioni (p (p q)) e p q sono equivalenti.

Espressioni contenenti variabili, come x > 3, x = y + 3 e x + y = t, sono comuni

Possiamo avere espressioni dipendenti da una o pi`

P (x) e0 vera per ogni x

Esiste un x per cui P (x)

Esiste un x per cui P (x)

P (x) e0 falsa per ogni x

essendo a ed L numeri reali e f (x) una funzione reale di variabile reale.

Diremo che una variabile `e impegnata se ad essa `e applicato un quantificatore oppure

P (x, y) e0 vera per ogni

Esiste una coppia x, y

Per ogni x esiste un y

Esiste un x tale che P (x, y)

Esiste un x per cui P (x, y)

Per ogni x esiste un y

Esiste una coppia x, y

P (x, y) e0 falsa per ogni

Negazione Proposizione Quando la negazione

Esiste un x per cui

Esiste un x per cui

In questo paragrafo cercheremo di dare una risposta alle seguenti domande:

P (c) per un arbitrario c U

P (c) per qualche c U

gli interi n, se n `e divisibile per 3, allora n2 `e divisibile per 9. Similmente, lenunciato Se

` importante sottolineare come il fatto che la conclusione dellimplicazione, 02 > 0, `e

Esempio 4.18 Provare perassurdo che 2 `e irrazionale.

razionale. Mostreremo che questo porta ad un assurdo. Nellipotesi

Per provare unimplicazione della forma

nx(x + i non `e primo per ogni i = 1, 2, . . . , n).

You might also like