Complementi Logica

Complementi di logica
1. La negazione, la congiunzione
e la disgiunzione
La negazione
Data una proposizione, si può costruire la sua negazione facendo precedere il
connettivo «non» al predicato verbale. Consideriamo la proposizione:
«oggi c’è il Sole»
La sua negazione è:
«oggi non c’è il Sole»
Indicata la proposizione «oggi c’è il Sole» con la lettera p, la sua negazione si indi- Altre notazioni
ca con il simbolo In alcuni testi, per indicare
p (da leggere «non p»). la negazione di una
proposizione p, oltre al
Il connettivo «non» produce una nuova proposizione il cui valore di verità è simbolo p si trovano anche
i simboli « p» e «: p».
cambiato rispetto alla proposizione iniziale a cui è stato applicato: se la proposi-
zione p è vera, p è falsa e viceversa.
Possiamo allora esprimere nella tabella qui a fianco, detta tavola di verità, il va- p p
lore di verità della proposizione p in funzione del valore di verità di p. V F
ESEMPI F V
Data la proposizione p, scriviamo la sua negazione p e determiniamo il valore di

verità di p.
Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

Valore di
p p
verità di p
«6 è un numero primo» «6 non è un numero primo» p è vera
«5 þ 2 ¼ 7» «5 þ 2 6¼ 7» p è falsa
«ogni numero primo è dispari» «non è vero che ogni numero p è vera
primo è dispari» (2 è pari e
ovvero primo)
«esiste almeno un numero
primo che è pari»
La congiunzione
Due proposizioni possono essere legate tra loro dalla congiunzione «e» che, in lo-
gica matematica, viene indicata con il simbolo «^». Questo modo di legare due
proposizioni viene chiamato congiunzione.
Per esempio, se p è la proposizione «Paolo ha preso 5 in Matematica» e q è la pro-
posizione «Paolo ha preso 7 in Italiano», possiamo formare la nuova proposizione
«Paolo ha preso 5 in Matematica e 7 in Italiano»
che si indica con il simbolo p ^ q e si legge «p e q». p q p^q
Supponiamo ora che Paolo torni a casa da scuola e dica «Ho preso 5 in Matematica
V V V
e 7 in Italiano». È evidente che Paolo ha detto la verità solo se entrambe le proposi-
V F F
zioni «Paolo ha preso 5 in Matematica» e «Paolo ha preso 7 in Italiano» sono vere.
F V F
Più in generale: la proposizione p ^ q risulta vera quando sono vere entrambe le
proposizioni p e q, risulta falsa negli altri casi. F F F
1/34
La tavola di verità che rappresenta il valore di verità della proposizione p ^ q, in
funzione dei valori di verità di p e q, è quindi quella qui a fianco.
ESEMPI
Date le proposizioni p: «Milano è in Italia» e q: «Milano è in Europa», esprimiamo
a parole le proposizioni p ^ q e p ^ q e individuiamone il valore di verità.
Proposizione Proposizione a parole Valore di verità

in simboli
p^q «Milano è in Italia e in Europa» La proposizione p ^ q è vera in

quanto sia p sia q sono vere
p^q «Milano è in Italia e non è in La proposizione p ^ q è falsa in

Europa» quanto q è falsa
La disgiunzione
Due proposizioni possono essere legate dalla congiunzione «o», o dalla congiun-
zione «oppure», che, in logica matematica, vengono indicate con il simbolo «_»:
questo modo di legare due proposizioni viene chiamato disgiunzione.
Per esempio, se p è la proposizione «Paolo gioca a tennis» e q è la proposizione
«Paolo gioca a calcio», possiamo formare la nuova proposizione
«Paolo gioca a tennis o a calcio»
che indichiamo con il simbolo p _ q e leggiamo «p o q».
Occorre però chiarire l’esatto significato da dare al connettivo «o». Infatti, in ita-
liano, la congiunzione «o» viene utilizzata in due modi diversi:
in senso esclusivo (corrispondente al latino aut), come nella frase «mi iscriverò
al liceo classico o al liceo scientifico»: in questo caso, delle due possibilità se ne
può verificare una sola (non è possibile iscriversi, contemporaneamente, al li-

ceo classico e al liceo scientifico);
in senso inclusivo (corrispondente al latino vel) come nella frase «su quest’a-
scensore possono salire i ragazzi di età maggiore di 12 anni o accompagnati da
un adulto»: in questo caso non si esclude che le due possibilità si verifichino
contemporaneamente (sull’ascensore possono salire ragazzi di età maggiore di
12 anni che sono anche accompagnati da un adulto).
In logica matematica, al connettivo «o» si dà il significato inclusivo. Quindi, la
proposizione precedente
p _ q: «Paolo gioca a tennis o a calcio»
sta per:
«Paolo gioca a tennis, oppure a calcio, oppure gioca sia a tennis sia a calcio».
Dal momento che la proposizione p _ q vuole affermare il verificarsi di almeno p q p_q
una delle affermazioni espresse dalle proposizioni p e q, senza escludere che si ve- V V V
rifichino entrambe, la proposizione p _ q è vera se almeno una delle due proposi- V F V
zioni p o q è vera; mentre è falsa soltanto quando sia p sia q sono false. F V V
La tavola di verità di p _ q è quindi quella qui a fianco. F F F
ESEMPI
Date le proposizioni p: «5 è pari» e q: «5 è primo», esprimiamo a parole le propo-
sizioni p _ q e p _ q, e individuiamone il valore di verità.

in simboli
p_q «5 è pari o è primo» p _ q è vera poiché q è vera
p_q «5 è pari o non è primo» p _ q è falsa poiché sia p sia q

sono false
2/34
Riassumiamo nella seguente tabella le proprietà dei connettivi «non», «e», «o»
che abbiamo esaminato in questo paragrafo.
A parole In simboli Modo di operare

vera se p è falsa
Negazione non p p p è
falsa se p è vera
vera se sia p sia q sono vere
Congiunzione peq p^q p ^ q è
falsa negli altri casi
vera se almeno una delle due
Disgiunzione poq p_q p _ q è proposizioni, p o q, è vera
falsa se sia p sia q sono false
PER SAPERNE DI PIÙ I connettivi come operazioni

La congiunzione e la disgiunzione si possono interpretare come operazioni interne all’insie-
me delle proposizioni: infatti i connettivi «e» ed «o» associano, a ogni coppia di proposi-
zioni, un’altra proposizione.
La negazione non si può interpretare come operazione, secondo la definizione data nel
Paragrafo 6 dell’Unità 4, poiché non agisce su due elementi; se introduciamo, però, il
concetto di operazione unaria in un insieme, cioè di operazione che agisce su un solo ele-
mento, allora la negazione si può interpretare come operazione unaria nell’insieme delle
proposizioni.
Prova tu

Date le proposizioni p: «6 è multiplo di 4» e q: «6 è divisibile per 5», esprimi a parole le
seguenti proposizioni indicate in forma simbolica e individuane il valore di verità:
p p^q p_q p^q p_q ESERCIZI a p. 22
2. Le tavole di verità
e l’equivalenza di proposizioni
La costruzione di una tavola di verità

Abbiamo visto che, date due proposizioni elementari p e q, mediante l’utilizzo
dei connettivi «non», «e» ed «o», si possono ottenere le proposizioni:
p p^q p_q
Si possono poi ulteriormente combinare le proposizioni cosı̀ ottenute e ottenere
proposizioni composte più complesse: si ottengono cosı̀ delle vere e proprie
espressioni logiche, come:
p_q p ^ ðp _ qÞ p _ ðq ^ pÞ
Analogamente a quanto abbiamo fatto per le proposizioni p, p ^ q, p _ q, possia-
mo costruire la tavola di verità di queste proposizioni composte: possiamo cioè
costruire una tabella che esprime qual è il valore di verità della proposizione
composta, in corrispondenza di tutti i possibili valori di verità delle proposizioni
elementari che la compongono.
3/34
ESEMPIO
Costruiamo la tavola di verità della proposizione p ^ ðp _ qÞ.
Per costruire la tavola di verità di una proposizione composta procediamo, co-

me nella semplificazione delle espressioni numeriche, dal livello più «inter-
no» a quello più «esterno».
3 Primo passo Costruiamo due p q

colonne in cui elenchiamo le V V
combinazioni di tutti i possibili
V F
valori di verità delle proposizioni
F V
elementari p e q che formano la
F F
proposizione composta.
3 Secondo passo Aggiungiamo la p q p_q

colonna relativa a p _ q. V V V
V F V
F V V
F F F
3 Terzo passo Costruiamo l’ulti- p q p_q p ^ ðp _ qÞ

ma colonna, dove poniamo i va- V V V V
lori di verità di p ^ ðp _ qÞ, dedu- V F V V
cendoli, in base alle proprietà del
F V V F
connettivo ^, dai valori di verità
F F F F
di p e di p _ q.

Qui per esempio, abbiamo posto il
valore di verità F perché, se p è falsa
(F) e p _ q è vera (V), allora
p ^ ðp _ qÞ è falsa.
Nell’esempio precedente abbiamo costruito la tavola di verità di una proposizio-

ne composta, formata da due proposizioni elementari.
Nel prossimo esempio costruiremo la tavola di verità della proposizione compo-
sta ðp ^ qÞ _ r, costituita dalle tre proposizioni elementari p, q ed r. Per descrivere
tutte le possibili combinazioni dei valori di verità di p, q ed r, potrà essere utile
servirsi del diagramma ad albero riportato qui sotto.
V VVV
r
V VVF
F
q
V VFV
V F
r
F VFF
p
V FVV
r
F V
F FVF
q
V FFV
F
r
F FFF
4/34
ESEMPIO
Costruiamo la tavola di verità della proposizione ðp ^ qÞ _ r .
3 Primo passo Costruiamo anzitutto tre colonne, in cui poniamo tutti i possi-
bili valori di verità di p, q ed r (rappresentati nel diagramma ad albero alla pa-
gina precedente).
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
3 Secondo passo Costruiamo una quarta colonna (in azzurro nella tabella qui
sotto) dove, in ogni riga, poniamo il valore di verità di p ^ q in corrispondenza
dei valori di verità di p e q di quella riga.
p q r p^q
V V V V
V V F V
V F V F Su questa riga, per esempio,
V F F F poniamo il valore V, poiché se p
F V V F è vera (V) e q è vera (V), anche
la proposizione p ^ q è vera.
F V F F

F F V F
F F F F
3 Terzo passo Costruiamo infine un’ultima colonna (in rosso nella tabella qui
sotto) dove, per ogni riga, poniamo il valore di verità di ðp ^ qÞ _ r corrispon-
dente ai valori di verità di p ^ q e di r su quella riga.
p q r p^q ðp ^ qÞ _ r
V V V V V
V V F V V
V F V F V
Su questa riga, per esempio,
V F F F F poniamo il valore V, poiché se p ^ q
F V V F V è vera (V) ed r è falsa (F), allora la
proposizione ðp ^ qÞ _ r è vera.
F V F F F
F F V F V
F F F F F
Proposizioni logicamente equivalenti

Due proposizioni si dicono logicamente equivalenti se le loro tavole di verità
coincidono. Per indicare che due proposizioni p e q sono logicamente equivalenti Altre notazioni
scriveremo semplicemente In alcuni testi, per indicare
l’equivalenza logica, invece
p¼q del simbolo ¼ si utilizza
dove il simbolo « ¼ » ha il significato di «logicamente equivalente». il simbolo .
5/34
ESEMPIO
Dimostriamo che le proposizioni p ^ q e p _ q sono logicamente equivalenti.
Dobbiamo costruire le tavole di verità delle due proposizioni p ^ q e p _ q,

quindi verificare che coincidono.
Costruiamo anzitutto una tabella come la seguente.
p q p^q p^q p q p_q

V V
V F
F V
F F
Compiliamo le colonne colorate in azzurro.
p q p^q p^q p q p_q

V V V F F
V F F F V
F V F V F
F F F V V
Concludiamo compilando le colonne colorate in rosso.
p q p^q p^q p q p_q

V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V

stessi valori di verità
L’uguaglianza delle due colonne in rosso mostra che le tavole di verità di

p ^ q e p _ q sono le stesse, quindi le due proposizioni sono logicamente
equivalenti.
Leggi di De Morgan
Nell’esempio precedente abbiamo dimostrato l’equivalenza logica: Dalla storia
p^q¼p_q [1] Queste equivalenze erano

sostanzialmente note
Analogamente si può dimostrare che: almeno dall’inizio del XV
secolo, tuttavia il
p_q¼p^q [2] matematico
e logico inglese Augustus
Queste due equivalenze logiche, dette leggi di De Morgan, ci dicono anzitutto De Morgan (1806-1871) fu il
primo a formalizzarle
che i connettivi «e» e «o» non sono indipendenti, ma si potrebbe usare solo uno
simbolicamente nel suo
dei due, ed esprimere l’altro per mezzo del primo e della negazione: per esempio, volume di Logica formale che
si potrebbe eliminare la «e» e usare solo la «o» e la negazione poiché fu pubblicato nel 1847: per
questo motivo la [1] e la [2]
p^q¼p_q sono note come
leggi di De Morgan.
Le leggi di De Morgan, inoltre, sono utili per negare proposizioni composte in
cui compaiono i connettivi «e» e «o».
A parole la [1] e la [2] si possono infatti esprimere dicendo che:
la negazione della congiunzione di due proposizioni elementari equivale alla di-
sgiunzione delle loro negazioni;
la negazione della disgiunzione di due proposizioni elementari equivale alla
congiunzione delle loro negazioni.
6/34
ESEMPIO
Utilizzando le leggi di De Morgan, neghiamo la proposizione «Paolo gioca a ten-
nis e a calcio».
Consideriamo le due proposizioni:
p: «Paolo gioca a tennis» e q: «Paolo gioca a calcio»
La proposizione data equivale a p ^ q e la sua negazione è:
p ^ q : «non è vero che Paolo gioca a tennis e a calcio»
Possiamo riscrivere quest’ultima proposizione in forma equivalente utilizzan-
do le leggi di De Morgan. In base alla [5.2], infatti, p ^ q è equivalente a p _ q;
quindi la negazione di p ^ q si può esprimere anche nella forma:
p _ q : «Paolo non gioca a tennis o non gioca a calcio»
Proprietà dei connettivi

Oltre alle leggi di De Morgan, vi sono altre equivalenze logiche importanti, note co-
me «proprietà dei connettivi». Le principali sono riassunte nella seguente tabella.
Proprietà dei connettivi Espressione

Legge della doppia negazione p¼p
Proprietà di idempotenza della congiunzione p^p¼p
Proprietà di idempotenza della disgiunzione p_p¼p
Proprietà commutativa della congiunzione p^q ¼q^p
Proprietà commutativa della disgiunzione p_q ¼q_p
Proprietà associativa della congiunzione ðp ^ qÞ ^ r ¼ p ^ ðq ^ r Þ
Proprietà associativa della disgiunzione ðp _ qÞ _ r ¼ p _ ðq _ r Þ
Proprietà distributive p ^ ðq _ r Þ ¼ ðp ^ qÞ _ ðp ^ r Þ
p _ ðq ^ r Þ ¼ ðp _ qÞ ^ ðp _ r Þ

Leggi di assorbimento p _ ðp ^ qÞ ¼ p
p ^ ðp _ qÞ ¼ p
Leggi di De Morgan p^q ¼p_q
p_q ¼p^q
COLLEGHIAMO I CONCETTI
I connettivi e le operazioni fra insiemi
3Prova a pensare che le lettere indicate nelle precedenti uguaglianze rappresen-
tino insiemi (invece che proposizioni) e sostituisci i simboli _ ed ^, rispettiva-
mente, con i simboli [ e \ (di unione e intersezione insiemistica), dando al so-
prassegno il significato di complementazione insiemistica (invece che quello
di negazione). Ti accorgerai che c’è perfetta corrispondenza tra le proprietà dei
connettivi e quelle delle operazioni fra insiemi; per esempio, alle proprietà di
idempotenza della congiunzione e della disgiunzione corrispondono le pro-
prietà di idempotenza dell’intersezione e dell’unione:
P\P ¼P e P[P ¼P
3Esistono quindi le seguenti corrispondenze tra connettivi e operazioni insie-

mistiche:
connettivo «e» ! intersezione
connettivo «o» ! unione
connettivo «non» ! complementazione
3Queste corrispondenze sono suggerite anche dalle definizioni stesse di interse-

zione, unione e differenza fra insiemi, date nell’Unità 4. Se ricordi tali defini-
zioni, ti renderai conto, infatti, che abbiamo utilizzato proprio i connettivi e,
o e non, secondo la corrispondenza osservata.
7/34
Prova tu
1. Costruisci le tavole di verità delle proposizioni:

p^q ðp ^ qÞ _ q ðp _ qÞ ^ r
2. Stabilisci quali delle seguenti coppie di proposizioni sono logicamente equivalenti.

a. p ^ q, q^p
b. p _ q, p^q
c. ðp ^ qÞ _ r, ðp _ qÞ ^ r [a. e b.]
3. Scrivi la negazione della proposizione: «15 è pari o primo» e utilizza le leggi di De

Morgan per riscriverla in una forma logicamente equivalente. ESERCIZI a p. 24
MATEMATICA NELLA REALTÀ
La logica e i circuiti
Pensa alla luce interna dell’abitacolo di un’automobile a due porte: a meno che tu non
l’abbia accesa appositamente, la luce si attiva se una delle due porte è aperta, o se lo so- Porta 1 Porta 2 Luce
no entrambe, mentre resta spenta in caso contrario. aperta aperta accesa
La tabella qui a fianco riassume tutte le possibilità. aperta chiusa accesa
Se ora provi a sostituire in tabella le parole «aperta» e «accesa» con «vero» e le parole
chiusa aperta accesa
«chiusa» e «spenta» con «falso», ti accorgerai che la tabella presenta la stessa struttura
della tavola di verità del connettivo «o». Questo semplice esempio suggerisce che c’è chiusa chiusa spenta

uno stretto legame tra logica e circuiti elettronici.
Effettivamente le porte e la luce sono collegati da un circuito elettronico in grado di
operare proprio come il connettivo «o».
Circuiti di questo tipo sono presenti in tutti quegli strumenti che definiamo «elettroni-
ci» e sono alla base del loro funzionamento. Per esempio, i componenti elementari dei
computer sono semplicissimi circuiti, chiamati porte logiche, che possono assumere
varie forme.
Per capirne il funzionamento, non è necessario conoscere come le porte logiche siano
materialmente costruite; è sufficiente rappresentarle come un dispositivo elettrico con
fili in entrata e in uscita. Un modello di porta logica, con due fili in entrata denominati
p e q, è disegnato nella figura qui sotto.
Il microprocessore è il
Porta logica cuore elaborativo del
p computer. È costituito da
Filo una sottile piastra di silicio
Fili
in entrata in uscita su cui sono impressi milioni
di componenti.
q Un microprocessore può
contenere milioni di porte
I fili in entrata e in uscita possono portare segnali elettrici di due stati diversi, che si indi- logiche.
cano con i numeri 1 e 0: si parla, perciò, di segnali binari. Puoi pensare a questi due tipi
di segnale come a una corrente ad alta o bassa tensione. Una porta logica agisce su que-
sti segnali in ingresso e produce in uscita altri segnali, ancora del tipo 1 o 0.
Per descrivere il funzionamento di una porta logica basta conoscere i segnali che vengo-
no prodotti in uscita, in corrispondenza di tutte le possibili combinazioni dei segnali in
entrata. Queste informazioni possono essere riportate in una tabella di entrata-uscita,
che ha un ruolo del tutto simile a quello delle tavole di verità.
Le porte logiche di base sono tre: NOT, AND, OR. Nello schema a pagina successiva ab-
biamo riportato, per ciascuna di queste tre porte logiche fondamentali, il simbolo con
cui viene indicata e la tavola di entrata-uscita che ne descrive il funzionamento.
8/34
Porta logica Simbolo Tavola di entrata-uscita
NOT Ingresso Uscita NOT

0 1
1 0
AND p Ingressi Uscita

q p q AND
1 1 1
1 0 0
0 1 0
0 0 0
OR p Ingressi Uscita
q
p q OR
1 1 1
1 0 1
0 1 1
0 0 0
La porta NOT produce in uscita un segnale di tipo opposto a quello in entrata: il segnale
in uscita è del tipo 1 se il segnale in entrata è 0, mentre è del tipo 0 se il segnale in entrata
è del tipo 1.
La porta AND invece produce in uscita il segnale 1 solo se entrambi i fili in entrata porta-

no un segnale del tipo 1, altrimenti il segnale in uscita è del tipo 0.
La porta OR infine produce in uscita il segnale 1, se almeno uno dei due fili in entrata
porta un segnale del tipo 1, altrimenti il segnale in uscita è del tipo 0.
Come puoi notare, le tabelle dei segnali in entrata e uscita delle porte logiche NOT, AND
e OR corrispondono esattamente alle tavole di verità di p, di p ^ q e di p _ q. Le differenze
riguardano solo le notazioni, in quanto 1 e 0 sono usati al posto di vero e falso.
Come le proposizioni si possono legare fra loro in modo da dar luogo a proposizioni com-
poste, cosı̀ le porte logiche NOT, AND e OR possono essere connesse in modo che i segna-
li in uscita da una di queste porte diventino segnali in entrata per altre porte logiche: si
ottengono cosı̀ circuiti più complessi, detti reti logiche.
Per esempio, la rete logica rappresentata nella fig. 5.1 agisce cosı̀: i due segnali in entrata,
p e q, subiscono una prima trasformazione tramite una porta AND, quindi il segnale in
uscita viene ulteriormente trasformato da una porta NOT.
Analogamente a come abbiamo costruito la tavola di verità di una proposizione compo-
sta, possiamo costruire la tavola di entrata-uscita di una rete logica. È evidente che la ta-
vola di entrata-uscita della rete in fig. 1 corrisponde esattamente alla tavola di verità di
p ^ q.
Ingressi Uscita
p q p AND q NOT (p AND q)
1 1 1 0
AND NOT
p 1 0 0 1
q 0 1 0 1
Figura 1
9/34
Il modello del calcolo delle proposizioni trova quindi pieno parallelismo nella teoria
delle reti logiche. Per esempio, abbiamo visto che la proposizione composta p ^ q è lo- NOT
gicamente equivalente a p _ q. Ciò porta come conseguenza che la rete logica disegna- p
ta in fig. 2, corrispondente alla proposizione p _ q, agisce allo stesso modo della rete OR
in fig. 1.
L’applicazione dell’algebra delle proposizioni, chiamata algebra di Boole, all’analisi
NOT
dei circuiti fu suggerita dal matematico statunitense Claude Elwood Shannon (1916-
2001) in un articolo del 1938. Dalla pubblicazione dell’articolo di Shannon, l’algebra di q
Boole è diventata essenziale per la progettazione dei circuiti, allo scopo di risparmiare
componenti elettronici: un circuito viene prima tradotto nella proposizione corrispon- Figura 2
dente; la proposizione viene semplificata (cioè se ne cerca una logicamente equivalen-
te, più semplice possibile); infine si costruisce il circuito corrispondente alla proposizio-
ne semplificata (il quale agirà come il circuito originario, ma avrà il vantaggio di poter
essere costruito con un minor numero di componenti).
3. L’implicazione
Il connettivo «se ... allora»
Due proposizioni possono essere legate dalla locuzione «se ... allora», che si indi-
ca con il simbolo ). Consideriamo la frase «se arrivo tardi alla stazione, allora
perdo il treno»: essa è formata legando tra loro le due proposizioni p: «arrivo tardi
alla stazione» e q: «perdo il treno», mediante il connettivo «se ... allora». Possia-
mo esprimere la frase nella forma simbolica:
p)q
La composizione di due proposizioni p e q mediante il connettivo «se ... allora»
viene chiamata implicazione; la proposizione p si chiama anche premessa del-

l’implicazione e la proposizione q si chiama conseguenza.
Il significato che si dà in matematica all’implicazione è un po’ più sottile rispetto
a quello degli altri connettivi che, in linea di massima, rispecchiano l’uso che se
ne fa anche nel linguaggio quotidiano: per capirne il perché, discutiamo insieme
un esempio. Supponiamo che, nel linguaggio corrente, Tizio dica a Caio «se do-
mani c’è il Sole, allora vengo con te al mare»; se l’indomani piove è probabile
che Caio non si aspetti che l’amico vada con lui al mare: si è dunque sottintesa
l’affermazione «se invece piove, allora non vengo».
Nel linguaggio matematico ciò non accade: una proposizione del tipo p ) q non
pone né vuole sottintendere nessuna condizione nel caso in cui p non si verifica.
Per esempio, riprendiamo la frase che Tizio dice a Caio: «se domani c’è il Sole, al-
lora vengo con te al mare». Intendendo il connettivo «se ... allora...» in senso ma-
tematico, la frase va interpretata in questo modo: Tizio si impegna su q (cioè ad
andare al mare) solo nel caso in cui avvenga p (se il tempo è bello), mentre non si
impegna a fare nulla se il tempo è brutto. Sulla base di questa assunzione, provia-
mo a riflettere su quale sia la risposta alla seguente domanda: in quali circostanze
potremo affermare che Tizio non ha detto la verità, ovvero che la proposizione
p ) q è falsa? Analizziamo i vari casi che possono presentarsi:
se p è vera (il tempo è bello) e q è vera (Tizio va al mare), chiaramente p ) q è
vera;
se p è vera (il tempo è bello) e q è falsa (Tizio non va al mare), chiaramente Ti-
zio non ha detto la verità, ossia p ) q è falsa;
se p è falsa (il tempo non è bello), Tizio non si è impegnato a fare alcunché,
quindi, sia nel caso che decida di andare lo stesso al mare, sia nel caso in cui
non ci vada, non potremo dire che ha detto il falso; in altre parole, se p è falsa,
dovremo in ogni caso ritenere vera l’affermazione di Tizio, p ) q, qualsiasi sia
il valore di verità di q.
10/34
In conclusione, c’è un solo caso in cui possiamo affermare che Tizio ha detto il
falso: se p è vera e q è falsa.
È proprio questo il principio secondo cui in logica matematica si assegna il valore
di verità a una implicazione:
La proposizione p ) q si ritiene falsa (F) solo nel caso in cui la premessa p

è vera (V) ma la conseguenza q è falsa (F).
La tavola di verità di p ) q sarà quindi la seguente:
p q p)q
Se la premessa p è falsa (F), la proposizione
V V V p ) q è vera (V), sia quando la conseguenza
V F F q è vera, sia quando è falsa. Questo fatto era
già noto ai logici medioevali che scrivevano
F V V appunto: «Ex falso quodlibet sequitor», cioè
F F V «dal falso discende qualunque cosa».
ESEMPI
Date le proposizioni p: «Milano è una città italiana» e q: «Milano è una città euro-
pea», esprimiamo a parole le proposizioni p ) q, p ) q, p ) q e determiniamone
il valore di verità.
Proposizione Proposizione Valore di verità

in simboli a parole
p)q «se Milano è una città Le due proposizioni p e q sono

italiana, allora è una città entrambe vere. In base alla tavola di
europea» verità dell’implicazione:
p ) q è vera (V)
p)q «se Milano è una città La proposizione p è vera e la

italiana, allora non è una proposizione q è falsa. In base alla
città europea» tavola di verità dell’implicazione:
p ) q è falsa (F)
Attenzione!
p)q «se Milano non è una La proposizione p è falsa e la L’ultimo degli esempi qui a
città italiana, allora non è proposizione q è falsa. In base alla fianco mostra che, quando si
una città europea» tavola di verità dell’implicazione: afferma che la proposizione
p ) q è vera, non si vuole
p ) q è vera (V) affermare che q è vera.
Concludiamo osservando che, in base al modo di operare del connettivo ), il va-

lore di verità di p ) q dipende solo dai valori di verità di p e q, anche se tali pro-
posizioni non sono correlate tra loro. Per esempio, si ritiene vera la proposizione
p ) q : «se 2 þ 3 4, allora 2 è un numero pari»
unicamente perché, in base al modo di operare dell’implicazione, la proposizio-
ne p ) q è certamente vera quando, come in questo caso, la premessa p è falsa.
I modi di leggere l’implicazione

Si usano parecchie espressioni diverse per leggere la proposizione p ) q:
p implica q
se p allora q
da p segue q
p è condizione sufficiente per q
q è condizione necessaria per p
Consideriamo, per esempio, la proposizione:
«essere milanesi implica essere italiani»
11/34
Essa si può esprimere nelle forme equivalenti:
«se sei milanese allora sei italiano»
«dall’essere milanesi segue l’essere italiani»
«essere milanesi è condizione sufficiente per essere italiani»
«essere italiani è condizione necessaria per essere milanesi»
In matematica sono frequenti le proposizioni del tipo p ) q che utilizzano le
espressioni «condizione necessaria» e «condizione sufficiente», per cui è bene ri-
fletterci un po’ per evitare di commettere errori.
Soffermiamoci sull’esempio appena presentato della proposizione «essere mila-
nesi implica essere italiani».
Se è vera la proprietà di «essere milanesi», è certamente vera anche la proprietà di
«essere italiani», dal momento che l’insieme dei milanesi è un sottoinsieme del- italiani
l’insieme degli italiani (fig. 3): «essere milanesi» è quindi una condizione suffi-
ciente per «essere italiani». Non è vero invece che «essere milanesi» è una condi- milanesi
zione necessaria per «essere italiani», poiché ci sono italiani che non sono mila-
nesi. Figura 3
La proprietà di «essere italiani», invece, è una condizione necessaria per «essere
milanesi»: infatti non esistono milanesi che non siano italiani (escludendo ov-
viamente gli stranieri che vivono a Milano!).
ESEMPIO
Riscriviamo le seguenti proposizioni utilizzando le espressioni «condizione neces-
saria» e «condizione sufficiente»:
a. «totalizzare un punteggio di 80 punti al test implica avere superato l’esame»;
b. «se un triangolo è equilatero allora è isoscele».
a. «Totalizzare un punteggio di 80 punti al test è condizione sufficiente per

superare l’esame»

oppure:
«il fatto di avere superato l’esame è condizione necessaria per avere totalizzato
al test un punteggio di 80 punti»
b. «Condizione sufficiente perché un triangolo sia isoscele è che esso sia equi-
latero»
oppure:
«il fatto che un triangolo sia isoscele è condizione necessaria perché sia equi-
latero»
La negazione di un’implicazione
Confrontando le tavole di verità di p ) q e di p _ q (riportate qui sotto), si vede
che p ) q è logicamente equivalente a p _ q.
Utilizzando questa equivalenza logica, è possibile ri- p q p p_q
cavare una proposizione che equivale alla negazione V V F V
della proposizione p ) q. V F F F
p)q ¼ negazione di p ) q F V V V
F F V V
¼ p_q ¼ p)q¼p_q
¼ p^q ¼ leggi di De Morgan

p q p)q
¼ p^q legge della doppia negazione V V V
Quindi: V F F
F V V
La negazione di una proposizione del tipo
F F V
p ) q equivale a p ^ q.
12/34
ESEMPIO
Neghiamo la proposizione: «se esco presto dal lavoro, vengo a cena da te».
Se poniamo p: «esco presto dal lavoro» e q: «vengo a cena da te», la proposi-
zione assegnata è l’implicazione p ) q.
In base a quanto abbiamo appena detto, la sua negazione è la proposizione:
p ^ q : «esco presto dal lavoro e non vengo a cena da te»
Proposizione inversa, contronominale e contraria

A partire dall’implicazione p ) q , si possono costruire altre tre implicazioni:
q)p detta inversa di p ) q
q)p detta contronominale di p ) q
p)q detta contraria di p ) q
In questo contesto, la proposizione p ) q viene detta implicazione diretta.
ESEMPIO
Data la proposizione: «Se 111 è un numero primo, allora non è divisibile per 11»,
determiniamo la sua inversa, la sua contronominale e la sua contraria.
La proposizione data è l’implicazione diretta p ) q, essendo p la proposizione

«111 è un numero primo» e q la proposizione «111 non è divisibile per 11».
Abbiamo che:
la proposizione inversa, q ) p, è: «Se 111 non è divisibile per 11, allora è un
numero primo»;
la proposizione contronominale, q ) p, è : «Se 111 è divisibile per 11, allora

non è un numero primo»;
la proposizione contraria, p ) q, è : «Se 111 non è un numero primo, allora
è divisibile per 11».
In riferimento all’esempio precedente, la proposizione p ) q è vera mentre la sua

inversa, q ) p, risulta falsa; ciò indica che una proposizione e la sua inversa non
sono logicamente equivalenti.
Si può invece dimostrare, mediante le tavole di verità, che l’implicazione diretta
p ) q è equivalente alla sua contronominale, mentre l’implicazione inversa è equi-
valente alla sua contraria.
Prova tu
1. Date le proposizioni p: «4 è pari» e q: «4 è primo», esprimi a parole le proposizioni

p ) q, p ) q, p ) q e determina il loro valore di verità.
2. Completa scrivendo, al posto dei puntini, «necessaria» o «sufficiente».

a. «condizione ............................................. perché un triangolo sia equilatero è che esso sia
isoscele»
b. «condizione ............................................. perché un numero sia divisibile per 2 è che sia
multiplo di 4»
3. Scrivi la negazione della proposizione: «se domani c’è il Sole, vengo con te al mare».
4. Costruisci e confronta le tavole di verità delle proposizioni p ) q, q ) p, p ) q e
q ) p. Verifica che q ) p non è equivalente a p ) q, mentre p ) q equivale a q ) p e
q ) p equivale a p ) q. ESERCIZI a p. 27
13/34
4. La doppia implicazione
Il connettivo «se e solo se»
Consideriamo la proposizione
«se un triangolo è equilatero allora è isoscele»
La sua inversa è:
«se un triangolo è isoscele allora è equilatero»
Notiamo che, in questo caso, mentre la proposizione p ) q è vera (perché tutti i
triangoli equilateri sono isosceli), la proposizione inversa è falsa (perché esistono
triangoli isosceli che non sono equilateri).
In alcuni casi, tuttavia, può capitare che siano vere sia la proposizione p ) q sia
la sua inversa.
Per esempio, è vera la proposizione
«se un triangolo è equilatero allora ha i tre angoli congruenti»
ed è vera anche la proposizione inversa:
«se un triangolo ha i tre angoli congruenti allora è equilatero»
In casi come questi si riassumono le due proposizioni p ) q e q ) p dicendo
che «p si verifica se e solo se si verifica q»; in riferimento all’esempio precedente
si dirà:
«un triangolo è equilatero se e solo se ha i tre angoli congruenti»
Il connettivo «se e solo se» è indicato con il simbolo «,» e il modo di comporre
due proposizioni tramite tale connettivo viene chiamato doppia implicazione.
In base a quanto abbiamo detto:

p,q
è equivalente a
ðp ) qÞ e ðq ) pÞ
Si assumerà perciò, come tavola di verità di p , q, quella di (p ) qÞ ^ ðq ) pÞ che
ora costruiamo:
p q p ) q q ) p ðp ) qÞ ^ ðq ) pÞ
V V V V V
V F F V F
F V V F F
F F V V V
La tavola di verità di p , q è, quindi, la seguente:
p q p,q
V V V
V F F
F V F
F F V
Dalla tavola si deduce che:
Il connettivo «,» opera su una coppia di proposizioni p, q producendo la pro-

posizione composta p , q che risulta vera se e solo se p e q sono entrambe false
o entrambe vere.
14/34
ESEMPI
Date le proposizioni p: «la Luna è una stella» e q: «Giove è un pianeta», esprimia-
mo a parole le proposizioni p , q e p , q; poi stabiliamo il loro valore di verità.

in simboli
p,q «la Luna è una stella se e solo se p è falsa e q è vera, quindi:

Giove è un pianeta» p , q è falsa
p,q «la Luna non è una stella se e p è vera e q è vera, quindi:

solo se Giove è un pianeta» p , q è vera
I modi di leggere la doppia implicazione

Anche la proposizione p , q (similmente a p ) qÞ può venire letta in vari modi:
p se e solo se q
p equivale a q
se p allora q e viceversa
p è condizione necessaria e sufficiente per q
Per esempio, per esprimere la proposizione:
«un triangolo è equilatero se e solo se ha i tre angoli congruenti»
potremo in modo equivalente dire che:
«per un triangolo, essere equilatero è equivalente ad avere tutti gli angoli con-
gruenti»
«se un triangolo è equilatero, allora ha tutti gli angoli congruenti e viceversa»

«condizione necessaria e sufficiente perché un triangolo sia equilatero è che
abbia i tre angoli congruenti»
Prova tu
1. Data la proposizione «se supero l’esame, ti invito a cena», scrivi la sua inversa.
2. Date le proposizioni p: «Venere è un pianeta» e q: «l’Acquario non è una costellazio-
ne», esprimi a parole le proposizioni p , q e p , q e determina il loro valore di verità.
3. Poni una crocetta in corrispondenza delle proposizioni che sono equivalenti a: «se
decido di non venire al cinema, ti avverto».
a. «Se non ti avverto, vengo al cinema.»
b. «Se vengo al cinema, non ti avverto.»
c. «Vengo al cinema o ti avverto.»
d. «Vengo al cinema se e solo se non ti avverto.» ESERCIZI a p. 29
5. Tautologie e regole di deduzione

Che cosa sono le tautologie? E le contraddizioni?
Consideriamo la frase «piove o non piove»: essa risulta ovviamente sempre vera,
indipendentemente dal valore di verità delle singole proposizioni elementari che
la compongono («piove» e «non piove»). Alle proposizioni che risultano sempre
vere, o sempre false, si dà un nome particolare.
15/34
TAUTOLOGIE E CONTRADDIZIONI
Una proposizione composta si dice:
una tautologia se risulta sempre vera, qualunque sia il valore di verità delle
proposizioni elementari che la compongono;
una contraddizione se risulta sempre falsa, qualunque sia il valore di verità
delle proposizioni elementari che la compongono.
La costruzione della tavola di verità di una proposizione composta permette di

stabilire immediatamente se si tratta di una tautologia o di una contraddizione.
ESEMPI
Stabiliamo se le proposizioni p _ q, p _ p, p ^ p sono tautologie o contraddizioni.
Costruiamo le tavole di verità delle tre proposizioni.
p_q p_p p^p
p q p_q p p p_p p p p^p

V V V V F V V F F
V F V F V V F V F
F V V
F F F
La proposizione p _ q non La proposizione p _ p La proposizione p ^ p

è né una tautologia né una risulta sempre vera (V), risulta sempre falsa (F),
contraddizione poiché non qualunque sia il valore di qualunque sia il valore di
risulta né sempre vera, né verità di p, quindi si tratta verità di p, quindi si tratta
sempre falsa. di una tautologia. di una contraddizione.

Regole di deduzione
Uno dei problemi di cui si occupa la logica è quello di analizzare la correttezza di
una deduzione. Esaminiamo un esempio classico di ragionamento che si trova su
tutti i libri di filosofia.
Dalle due premesse
«Socrate è un uomo» [A]
e
«se Socrate è un uomo, allora Socrate è mortale» [B]
si deduce la conclusione:
«Socrate è mortale» [C]
Tutti conveniamo che l’enunciato [C] è stato dedotto correttamente dagli enun-
ciati [A] e [B].
Ciò che caratterizza la correttezza di un certo schema di ragionamento è l’indi-
pendenza dai valori di verità delle proposizioni che lo compongono. Per esem-
pio, dalle premesse: «Socrate è un uomo» e «se Socrate è un uomo, è immortale»
potremmo, seguendo uno schema di ragionamento analogo al precedente, de-
durre che «Socrate è immortale»: la deduzione è corretta, anche se il risultato della
deduzione è chiaramente falso (perché era falsa una delle premesse).
In generale: una regola di deduzione si dice valida se porta a una deduzione corret-
ta indipendentemente dai valori di verità delle proposizioni coinvolte nel ragio-
namento.
Nella tabella seguente presentiamo alcuni esempi di applicazione di tre regole di de-
duzione valide che utilizziamo abitualmente, fornendo in parallelo le formalizza-
zioni di tali ragionamenti: in logica si danno a queste tre regole nomi particolari: re-
gola del modus ponens, regola del modus tollens e legge del sillogismo ipotetico.
16/34
Regola Esempio Formalizzazione Schema del ragionamento
in simboli
PREMESSE PREMESSE
«Socrate è un uomo» p
«se Socrate è un uomo
Modus
allora Socrate p)q
ponens
è mortale» p
p)q
CONCLUSIONE CONCLUSIONE q
«Socrate è mortale» q
PREMESSE PREMESSE
«se Socrate è un uomo
allora Socrate p)q
Modus è mortale»
tollens
«Socrate è immortale» q p)q
q
CONCLUSIONE CONCLUSIONE
p
«Socrate non è un uomo» p
PREMESSE PREMESSE
«se Mario vince la
partita allora esce p)q
Legge del con noi stasera»
sillogismo
«se Mario esce con
ipotetico
noi stasera allora q)r
ti telefono» p)q
q)r
CONCLUSIONE CONCLUSIONE
p)r

«se Mario vince p)r
la partita allora
ti telefono»
Come si può controllare se una regola di deduzione è valida?

Si potrebbe dimostrare che una regola di deduzione, la quale a partire dalle pre-
messe P1 , P2 , ..., Pn porta a dedurre una certa conclusione Q, è valida se e solo se la
proposizione
ðP1 ^ P2 ^ ::::: ^ Pn Þ ) Q
è una tautologia.
Le regole di deduzione, dunque, si fondano sulle tautologie.
Per esempio, si potrebbe provare la validità delle regole di deduzione presentate
nella tabella precedente dimostrando che le seguenti proposizioni sono tautolo-
gie (lasciamo a te la verifica per esercizio):
ðp ^ ðp ) qÞÞ ) q Modus ponens
ððp ) qÞ ^ qÞ ) p Modus tollens
ððp ) qÞ ^ ðq ) rÞÞ ) ðp ) rÞ Legge del sillogismo ipotetico
A volte, soprattutto se un ragionamento è piuttosto articolato, può non essere Modi di dire
immediato capire se è corretto. Per provare la validità di un ragionamento si In alcuni testi, la legge del
può cercare di fare vedere che esso si basa sull’applicazione delle regole di dedu- sillogismo ipotetico è
zione note (modus ponens, modus tollens, legge del sillogismo ipotetico); per chiamata «regola della
catena».
fare vedere, invece, che un ragionamento non è corretto, può essere utile rifarsi
al modello insiemistico. Osserva i seguenti esempi.
17/34
Esempio di deduzione valida Esempio di deduzione non valida
Premesse Premesse
1. «se il ladro non aveva un complice, allora il ladro è un 1. «se una persona fa parte di una squadra di calcio, allora
uomo» si allena tutti i giorni»
2. «se il ladro è un uomo, allora è di alta statura» 2. «Paolo si allena tutti i giorni»
3. «se il ladro è entrato dalla finestra, allora non è di alta
statura» Conclusione
4. «da un sopralluogo si è potuto dedurre che il ladro è «Paolo fa parte di una squadra di calcio»
entrato dalla finestra»
Sia P l’insieme delle persone che fanno parte di una
Conclusione squadra di calcio e Q l’insieme delle persone che si
«il ladro aveva un complice» allenano tutti i giorni.
In base alla premessa 1, ogni persona che fa parte di una
La deduzione è corretta, infatti: squadra di calcio si allena tutti i giorni, quindi P Q; in
a. dalle premesse 1 e 2, per la legge del sillogismo ipotetico, base alla premessa 2, Paolo appartiene all’insieme Q.
si deduce che: Tuttavia, come indicato nella figura qui sotto, Paolo
«se il ladro non aveva un complice, allora è di alta potrebbe appartenere all’insieme Q P, cioè all’insieme
statura» delle persone che si allenano tutti i giorni, ma non fanno
b. dalle premesse 3 e 4, per la legge del modus ponens, si parte di alcuna squadra di calcio. Pertanto la deduzione
deduce che: non è valida.
«il ladro non è di alta statura»
c. dalle due deduzioni:
persone che si persone che fanno parte
«se il ladro non aveva un complice, allora è di alta allenano tutti i giorni di una squadra di calcio
statura»
«il ladro non è di alta statura» Q
per la legge del modus tollens, si deduce che:
«il ladro aveva un complice» Paolo
P
persone che si allenano tutti i giorni

ma non fanno parte
di alcuna squadra di calcio

Prova tu
1. Dalle premesse «non vado al lavoro in auto», «se piove, vado al lavoro in auto», si de-
duce che «non piove». È corretto?
Sı̀, in base alla legge del ............................................................ No
2. Dalle premesse «se piove, il cielo è nuvoloso», «oggi non piove», si deduce che «oggi
il cielo non è nuvoloso». È corretto?
Sı̀, in base alla legge del ............................................................ No ESERCIZI a p. 31
6. Problemi di logica
Concludiamo questo approfondimento proponendo alcuni problemi di logica.
Rientrano in questa categoria una grande varietà di problemi, di tipologie diverse
(problemi classici, paradossi, ragionamenti di cui trovare gli errori, giochi ecc.),
perciò non è facile suggerire metodi che possano essere applicati proficuamente
a tutti. Ci limitiamo a esemplificare, tramite due problemi, due tipi di approccio
che si rivelano spesso utili.
18/34
PROBLEMA 1 Le amiche di Paolo
Supponiamo di sapere che le seguenti tre proposizioni sono tutte vere:
a. Paolo è amico di Lucia o di Barbara;
b. se Paolo è amico di Lucia, allora è amico anche di Barbara;
c. se Paolo non è amico di Barbara, allora è amico di Lucia.
Si può stabilire di chi è amico Paolo?
FAMILIARIZZIAMO CON IL PROBLEMA

Una strategia utile per risolvere molti problemi di logica è quella di formalizzarli, in mo-
do da poter poi applicare loro gli strumenti che abbiamo introdotto in questa Unità (ta-
vole di verità, teoria dell’equivalenza tra proposizioni, regole di deduzione ecc.). È que-
sto il caso del problema che stiamo esaminando.
COSTRUIAMO IL MODELLO DEL PROBLEMA

Indichiamo con p la proposizione «Paolo è amico di Lucia» e con q la proposizione
«Paolo è amico di Barbara». Il problema ci dice che sono vere le tre proposizioni:
p_q p)q q)p [*]
Per scoprire in corrispondenza di quali valori di verità di p e q le tre proposizioni [*] ri-
sultano contemporaneamente vere, possiamo costruire le loro tavole di verità; dalle in-
formazioni dedotte dalle tavole di verità stabiliremo (se possibile) di chi è amico Paolo.
COSTRUIAMO LE TAVOLE DI VERITÀ
p q q p_q p)q q)p

V V F V V V
V F V V F V
F V F V V V
F F V F V F

Come si vede dalla tabella, gli unici casi in cui tutte e tre le proposizioni [*] sono vere so-
no i due in rosso. In entrambi i casi q è vera, mentre p è vera in un caso e falsa nell’altro.
RISPONDIAMO
Le tavole di verità mostrano che se le tre proposizioni [*] sono vere, allora q deve neces-
sariamente essere vera, quindi possiamo affermare che Paolo è amico di Barbara.
La proposizione p invece può essere vera o falsa, dunque non è possibile stabilire se Pao-
lo sia o meno amico di Lucia: entrambe le eventualità sono compatibili con le informa-
zioni assegnate.
PROBLEMA 2 Lo scrigno e il tesoro
Il tesoro Il tesoro Il tesoro

è in questo non è nello non è in
questo
scrigno scrigno A scrigno
A B C
Sapendo che al massimo una delle affermazioni relative agli scrigni è vera, è possibile
stabilire quale scrigno contiene il tesoro?
19/34
FAMILIARIZZIAMO CON IL PROBLEMA
Non è facile a prima vista indovinare lo scrigno che contiene il tesoro.
Una strategia per risolvere il problema è quella di esaminare una a una tutte le possibili
alternative che possono presentarsi e scartare quelle che portano a delle contraddizioni.
COSTRUIAMO IL MODELLO DEL PROBLEMA

Indichiamo con a, b e c le tre proposizioni scritte sulle pergamene poste sopra a ciascu-
no scrigno, ossia:
a è la proposizione «il tesoro è nello scrigno A»;
b è la proposizione «il tesoro non è nello scrigno A»;
c è la proposizione «il tesoro non è nello scrigno C».
Riportiamo in una tabella tutti i possibili valori di verità delle tre proposizioni a, b e c (la
tabella è analoga alle prime tre colonne della tavola di verità di una proposizione com-
posta formata da tre proposizioni elementari).
a b c
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Si tratterà ora di esaminare ciascuno di questi otto casi, escludendo di volta in volta
quelli incompatibili con le ipotesi.
EFFETTUIAMO IL RAGIONAMENTO PER ESCLUSIONE

Il testo del problema ci dice che al massimo una delle proposizioni a, b e c è vera, perciò

dobbiamo scartare le prime quattro possibilità colorate in rosso [*] nella tavola seguente,
perché in contraddizione con questa ipotesi. Inoltre, poiché a e b sono una la negazione
dell’altra, non possono essere entrambe false, quindi dobbiamo scartare le possibilità in
rosso delle ultime due righe [**].
a b c
V V V [*]
V V F [*]
V F V [*]
V F F
F V V [*]
F V F
F F V [**]
F F F [**]
Restano da analizzare solo le due possibilità in nero nella tavola qui sopra.
Prima possibilità: a è vera; b è falsa; c è falsa
La proposizione a è vera, quindi il tesoro dovrebbe essere nello scrigno A.
Ma la proposizione c è falsa, quindi il tesoro dovrebbe essere anche nello scrigno C.
Si ha una contraddizione, quindi questa possibilità è da scartare.
Seconda possibilità: a è falsa; b è vera; c è falsa
La proposizione a è falsa, quindi il tesoro non è in A.
La proposizione c è falsa, quindi il tesoro è in C.
La proposizione b è vera: infatti il tesoro è in C.
Questa possibilità è corretta.
RISPONDIAMO
Il tesoro è nello scrigno C.
20/34
L’approccio utilizzato in quest’ultimo problema è utile in svariate situazioni, per
cui ti invitiamo a cercare di comprenderlo a fondo. Presta attenzione in particola-
re al fatto che occorre sempre esaminare tutte le possibile alternative (anche
quando se ne fosse già trovata una plausibile): infatti un problema può anche
non ammettere soluzioni o ammetterne più di una.
PER SAPERNE DI PIÙ Il ragionamento per assurdo

Nella risoluzione del Problema 2 abbiamo utilizzato il seguente schema di ragionamento:
siamo partiti da una premessa p (cioè da una delle otto eventualità possibili) e abbiamo
dimostrato che essa porta a una contraddizione, cioè a una proposizione del tipo q ^ q.
Di qui abbiamo dedotto che allora la premessa p non può sussistere, quindi è da scartare.
La validità di questa regola di deduzione si può dimostrare provando che la proposizione:
ðp ) ðq ^ qÞÞ ) p
è una tautologia.
Questo schema di ragionamento è alla base delle cosiddette dimostrazioni per assurdo,
che avremo occasione di approfondire nello studio della geometria.
Prova tu
1. Supponiamo di sapere che le due seguenti proposizioni sono vere:
a. se Paolo è amico di Lucia, allora è amico anche di Barbara;
b. se Paolo è amico di Barbara, allora non è amico di Lucia.
Si può stabilire di chi è amico Paolo?
2. Un’isola è abitata da due tipologie di individui: i cavalieri, che dicono sempre la veri-
tà, e i furfanti, che mentono sempre. Supponi di incontrare tre abitanti dell’isola, che
indichiamo con A, B e C; A afferma: «Siamo tutti furfanti» e B: «Solo uno di noi è ca-
valiere». Puoi stabilire se A, B e C sono furfanti o cavalieri? ESERCIZI a p. 33

MATEMATICA NELLA STORIA
La logica da Aristotele a Gödel

In questo approfondimento sono stati presentati alcuni elementi di logica matematica.
Il primo studioso che si occupò di logica fu il filosofo greco Aristotele (384-322 a.C.).
Fino al Cinquecento la logica restò sostanzialmente entro i confini tracciati da Aristotele;
la preoccupazione fu soprattutto quella di preservarne, tradurne e approfondirne i testi.
Nonostante gli innovativi studi svolti nella seconda metà del Seicento dal filosofo e
scienziato tedesco Gottfried Wilhelm Leibniz (1646-1716), i manuali di logica su cui
studiarono i filosofi del Settecento e degli inizi dell’Ottocento rimasero semplici rielabo- George Boole
razioni della logica aristotelica.
Un notevole passo avanti negli studi di logica fu dovuto al matematico inglese George
Boole (1815-1864), che sviluppò le idee di Leibniz: Boole trattò le proposizioni con sim-
boli algebrici e sviluppò una vera e propria «algebra» delle proposizioni (algebra di Boo-
le), che ha trovato, come abbiamo accennato nella Scheda del par. 3, sorprendenti appli-
cazioni nella progettazione dei circuiti.
Nel Novecento, un risultato di fondamentale importanza nel campo della logica fu il co-
siddetto teorema dell’incompletezza (1931), dimostrato da Kurt Gödel (1906-1978), mate-
matico di origine ceca: esso esprime, a grandi linee, che all’interno di ogni teoria mate-
matica esistono delle proposizioni «indecidibili», delle quali cioè non si può dimostrare
né la verità né la falsità.
Gli sviluppi delle ricerche più recenti nel campo della logica hanno, infine, prodotto nu-
merose applicazioni nello studio dei linguaggi dei calcolatori. Kurt Gödel
In libreria e in rete
Piergiorgio Odifreddi, Le menzogne di Ulisse, Longanesi.
Piergiorgio Odifreddi, Il diavolo in cattedra. La logica matematica da Aristotele a Godel, Einaudi.
Berto Francesco, Tutti pazzi per Godel, Laterza.
http://plus.maths.org/issue39/features/dawson/index.html
21/34
Esercizi
1. La negazione, la congiunzione e la disgiunzione
TEORIA a p. 1
Esercizi preliminari
1
Þ Vero o falso? 3
Þ Se la proposizione p _ q è vera allora:
a. se p è vera e q è falsa, le proposizione p _ q è A p e q devono essere entrambe vere
vera V F B almeno una delle due proposizioni, p o q, deve esse-
b. se p è vera e q è falsa, la proposizione p ^ q è re vera, ma non possono essere vere sia p sia q
vera V F C almeno una delle due proposizioni, p o q, deve esse-
c. se p _ q è vera, allora necessariamente q è vera V F re vera, potendo essere vere sia p sia q
d. se p ^ q è vera, allora necessariamente q è vera V F D p e q devono essere entrambe false
e. se p è vera, allora necessariamente p è falsa V F 4 Sia p una proposizione vera e q una proposizione fal-
Þ
[3 affermazioni vere e 2 false] sa. Quale delle seguenti proposizioni è vera?
Test A p^q C p_q
2 Se p è la proposizione «15 è un numero dispari» e q
Þ B p^q D Nessuna delle precedenti
è la proposizione «15 è un numero primo», la proposizio- 5 Sia p una proposizione falsa e q una proposizione
Þ
ne «15 è un numero dispari e non è un numero primo» è falsa. Quale delle seguenti proposizioni è vera?
espressa in simboli da:
A p^q C p_q
A p_q B p_q C p^q D p^q B p^q D Nessuna delle precedenti
Dalle parole ai simboli e viceversa

6
Þ ESERCIZIO SVOLTO

Indichiamo ogni proposizione elementare che compare nelle seguenti proposizioni con una lettera e riscriviamo
le proposizioni in forma simbolica.
a. «non vado in palestra» c. «vado in piscina e non vado in palestra»
b. «vado in piscina o in palestra» d. «non vado né in piscina né in palestra»
Indichiamo con p la proposizione «vado in piscina» e con q la proposizione «vado in palestra».

Esaminiamo ciascuna delle proposizioni date in modo da evidenziare le proposizioni p e q e i connettivi che vi compaio-
no; poi traduciamo la proposizione in simboli.
Esame delle proposizioni Traduzione in simboli

«non vado in palestra»
q
non q
«vado in piscina o in palestra»

p_q
p o q
«vado in piscina e non vado in palestra»

p^q
p e non q
La proposizione d equivale a:
«non vado in piscina e non vado in palestra» p^q
non p e non q
Indica con una lettera ogni proposizione elementare che compare nelle seguenti proposizioni composte e riscri-
vi la proposizione composta in forma simbolica.
7
Þ Resto a casa e guardo la televisione. 10
Þ Non vado in piscina ma vado in palestra.
8
Þ Vado al mare o al lago. 11
Þ Vengo alla tua festa o vado al cinema.
9
Þ Non è vero che 6 è pari e divisibile per 5. 12
Þ È nuvoloso ma non piove.
22/34
13
Þ ESERCIZIO SVOLTO
Date le proposizioni:
p: «il ladro è entrato dalla finestra»
q: «il ladro aveva un complice»
r: «il furto è avvenuto dopo la mezzanotte»
scriviamo a parole le seguenti proposizioni composte:
p^q p_r q^r
Otteniamo che:
p ^ q significa «il ladro è entrato dalla finestra e aveva un complice»
p _ r significa «il ladro non è entrato dalla finestra oppure il furto non è avvenuto dopo la mezzanotte»
q ^ r significa «non è vero che il ladro aveva un complice e che il furto è avvenuto dopo la mezzanotte»
Date le proposizioni p e q, esprimi a parole le proposi- 18

Þ Date le proposizioni:
zioni indicate sotto in simboli. p: «il testimone è attendibile»
q: «il ladro è entrato dalla finestra»
14
Þ p: «piove», q: «vado al lavoro in macchina»
r: «il ladro è un uomo di bassa statura»
p^q p_q riscrivi a parole le seguenti proposizioni espresse in forma
15
Þ p: «ho 6 in tutte le materie», q: «sono promosso» simbolica:
p^q p^q p _ ðq ^ rÞ p ^ ðq _ rÞ
16
Þ p: «77 non è primo», q: «77 è divisibile per 11» 19
p: «Marte è un pianeta»
p^q p_q
q: «la Luna è una stella»
17
completa la seguente tabella.
p: «Paolo fa i compiti»
q: «Paolo guarda la televisione» A parole In simboli
r: «Paolo gioca a tennis» ........................................................................................ p^q
riscrivi a parole le seguenti proposizioni espresse in forma non è vero che Marte è un pianeta e

............................
simbolica: che la Luna è una stella
ðp _ qÞ ^ r ðp ^ rÞ _ q ........................................................................................ p^q
Marte non è un pianeta o la Luna non
............................
è una stella
Il valore di verità delle proposizioni contenenti i connettivi «e», «o», «non»

20
Þ ESERCIZIO SVOLTO 21
Þ Stabilisci il valore di verità delle seguenti proposizioni.
a. tutti i quadrati sono rettangoli e tutti i
Stabiliamo il valore di verità delle seguenti proposi-
rettangoli sono rombi V F
zioni.
b. 5 è minore o uguale a 6 V F
a. «i numeri naturali sono pari o sono numeri ra- c. Milano non è in Italia o Roma è in Europa V F
zionali» d. 20 è maggiore di 21 o 17 è un numero dispari V F
b. «i triangoli equilateri sono isosceli e sono equian- e. il gatto non è un mammifero e Napoli è una
goli» città italiana V F
a. Chiamiamo p la proposizione «i numeri naturali sono [Solo 3 proposizioni sono vere]

pari» e q la proposizione «i numeri naturali sono numeri 22 Stabilisci il valore di verità delle seguenti proposizioni.
Þ
razionali»: allora la proposizione data non è altro che a. non ci sono giorni della settimana che
p _ q. iniziano per f o non ci sono mesi dell’anno
Dal momento che una delle due proposizioni, q, è vera, la che iniziano per f V F
proposizione data è vera. b. 12111 è primo o 17 è dispari V F
b. Posto p: «i triangoli equilateri sono isosceli» e q: «i c. Firenze è il capoluogo della Toscana e
triangoli equilateri sono equiangoli», la proposizione da- Bologna è in Toscana V F
ta non è altro che p ^ q. d. 12 è maggiore o uguale a 12 V F
Poiché sia p sia q sono vere, anche la proposizione data è e. 20 è maggiore di 19 e 21 è un numero primo V F
vera. [Solo 3 proposizioni sono vere]
23/34
Þ23 Siano p: «Bologna è in Lombardia» e q: «Torino è in Piemonte». Completa la seguente tabella, assegnando il valore
di verità a ciascuna proposizione.
Proposizione p q p q p^q p_q p^q p_q p_q

Valore di verità ..... ..... ..... ..... ..... ..... ..... ..... .....
24
Þ Siano p: «i mesi dell’anno sono 12» e q: «i giorni della settimana sono 7». Completa la seguente tabella, assegnando
il valore di verità a ciascuna proposizione.
Proposizione p q p q p^q p^q p_q p^q p_q

Valore di verità ..... ..... ..... ..... ..... ..... ..... ..... .....
Þ25 Siano p: «111 è un numero primo» e q: «21 non è multiplo di 7». Completa la seguente tabella, assegnando il valore
di verità a ciascuna proposizione.

Valore di verità ..... ..... ..... ..... ..... ..... ..... ..... .....
26
Þ Siano p: «3333 è divisibile per 11» e q: «3333 è multiplo di 9». Completa la seguente tabella, assegnando il valore di
verità a ciascuna proposizione.

Valore di verità ..... ..... ..... ..... ..... ..... ..... ..... .....
27
Þ Supponiamo che p sia una proposizione vera, q sia 28
Þ Supponiamo che p sia una proposizione falsa, q sia
una proposizione falsa ed r sia una proposizione vera. una proposizione vera ed r sia una proposizione falsa.
Completa scrivendo, al posto dei puntini, dei simboli op- Completa scrivendo, al posto dei puntini, dei simboli op-
portuni (_, ^, p, q, r), in modo da ottenere proposizioni portuni (_, ^, p, q, r), in modo da ottenere proposizioni
vere. false.
a. ðp ^ qÞ ::::: r a. ðp ^ qÞ ::::: r

b. ðp ::::: rÞ ^ r b. ðp _ qÞ ^ :::::
c. p ::::: r c. p ^ :::::
d. ð::::: ^ qÞ _ r d. ð::::: ^ qÞ _ :::::
2. Le tavole di verità e l’equivalenza di proposizioni TEORIA a p. 3
29
Þ Vero o falso? Þ30 Associa a ogni proposizione composta la corrispon-
a. nella tavola di verità di una proposizione dente tavola di verità.
composta di due proposizioni elementari, le a. p _ q b. p ^ q c. p _ q d. p ^ q
righe che esprimono le possibili combinazioni
A. p q ? B. p q ?
vero/falso delle proposizioni elementari sono
quattro V F V V F V V F
b. nella tavola di verità di una proposizione V F V V F F
composta di tre proposizioni elementari, le F V V F V F
righe che esprimono le possibili combinazioni F F V F F V
vero/falso delle proposizioni elementari sono
sei V F
C. p q ? D. p q ?
c. le due proposizioni p ^ q e p _ q sono V V V V V F
equivalenti in base alla legge di De Morgan V F V F F V F F
d. due proposizioni composte equivalenti F V V F V V
possono essere una vera e una falsa, in F F V F F F
corrispondenza degli stessi valori di verità delle
proposizioni elementari che compongono le
due proposizioni V F
24/34
La costruzione di una tavola di verità
31
Þ ESERCIZIO GUIDATO
Costruisci la tavola di verità della proposizione ðp _ qÞ ^ ðp _ qÞ, dove p e q sono proposizioni elementari.
La tabella che devi compilare, per costruire la tavola di verità di ðp _ qÞ ^ ðp _ qÞ, è la seguente.
p q q p_q p_q ðp _ qÞ ^ ðp _ qÞ
V V ..... ..... ..... .....
V F ..... ..... ..... .....
F V F V F F
F F ..... ..... ..... .....
In queste due colonne si La colonna di q serve per determinare la tavola di verità Per esempio, se
pongono tutti i possibili valori di p _ q; le colonne di p _ q e di p _ q servono a p _ q è V e p _ q è F,
di verità di p e q determinare la tavola di verità di: ðp _ qÞ ^ ðp _ qÞ allora
ðp _ qÞ ^ ðp _ qÞ è F
Costruisci la tavola di verità delle seguenti proposizioni, essendo p e q due proposizioni elementari.
32
Þ p_q 38
Þ ðp ^ qÞ _ p
33
Þ p^q 39
Þ ðp ^ qÞ _ p
34
Þ p_q 40
Þ ðp _ qÞ _ ðp ^ qÞ
35
Þ p^q 41
Þ ðp ^ qÞ _ ðp ^ qÞ
36
Þ ðp _ qÞ ^ p 42
Þ ðp _ qÞ ^ ðp _ qÞ
37
Þ ðp _ qÞ ^ p 43
Þ ðp ^ qÞ _ ðp ^ qÞ
44 ESERCIZIO GUIDATO

Þ
Costruisci la tavola di verità della proposizione
p ^ ðq _ rÞ
essendo p, q ed r proposizioni elementari.
La tavola che bisogna costruire deve avere:

1. tre colonne, ciascuna di 8 righe, in cui si pongono tutti i possibili valori di verità per p, q ed r (le tre colonne in nero
nella tavola impostata nella pagina seguente);
2. una quarta colonna (quella in azzurro) dove si pongono i valori di verità di q _ r: questi valori di verità servono per
determinare successivamente i valori di verità di p ^ ðq _ rÞ;
3. un’ultima colonna (quella in rosso) dove si pongono i valori di verità di p ^ ðq _ rÞ, deducendo tali valori di verità da
quelli posti nelle colonne di p e di q _ r, in base alle proprietà del connettivo ^.
p q r q_r p ^ ðq _ rÞ
V V V V V
V V F ..... .....
V F V ..... .....
V F F ..... .....
F V V V F
F ..... ..... ..... .....
F ..... ..... ..... .....
F ..... ..... ..... .....
Inserisci i valori di verità mancanti al posto dei puntini e avrai ottenuto la tavola di verità di p ^ ðq _ rÞ.
25/34
Costruisci le tavole di verità delle seguenti proposizioni, essendo p, q ed r proposizioni elementari.
45
Þ ðp ^ qÞ _ r 50
Þ ðp _ qÞ ^ r
46
Þ p ^ ðq _ rÞ 51
Þ ðp _ qÞ _ ðp ^ rÞ
47
Þ ðp _ qÞ ^ r 52
Þ p _ ðq ^ rÞ
48
Þ ðp ^ qÞ _ r 53
Þ ðp ^ qÞ _ ðq ^ rÞ
49
Þ ðp _ qÞ ^ ðq _ rÞ 54
Þ ðp _ qÞ ^ r
Proposizioni logicamente equivalenti

55
Dimostra la seguente equivalenza logica:

p ^ ðq _ rÞ ¼ ðp ^ qÞ _ ðp ^ rÞ (proprietà distributiva del connettivo ^ rispetto a _)
Devi costruire, su di una medesima tabella, le tavole di verità di p ^ ðq _ rÞ e ðp ^ qÞ _ ðp ^ rÞ, quindi controllare che coin-
cidano. La tabella da compilare è la seguente (prima completa le colonne in azzurro, poi quelle in rosso).
p q r q_r p ^ ðq _ rÞ p^q p^r ðp ^ qÞ _ ðp ^ rÞ

V V V V V V V V
V V F ..... ..... ..... ..... .....
V F V ..... ..... ..... ..... .....
V F F ..... ..... ..... ..... .....
F V V V F F F F
F V F ..... ..... ..... ..... .....
F F V ..... ..... ..... ..... .....

F F F ..... ..... ..... ..... .....
Dal momento che le due colonne in rosso sono ...................., puoi dire che le due proposizioni p ^ ðq _ rÞ e ðp ^ qÞ _ ðp ^ rÞ
sono equivalenti.
Dimostra le seguenti equivalenze logiche. Per ciascuna delle seguenti coppie di proposizioni, sta-
56 p _ ðq ^ rÞ ¼ ðp _ qÞ ^ ðp _ rÞ bilisci se sono logicamente equivalenti.
Þ
57 p ^ ðp _ qÞ ¼ p 65
Þ p _ q, q_p [Sı̀]
Þ
58 p _ ðp ^ qÞ ¼ p 66
Þ p ^ q, q^p [Sı̀]
Þ
59 p^q¼p_q 67
Þ p _ q, p_q [No]
Þ
60 p_q¼p^q 68
Þ p _ q, p^q [Sı̀]
Þ
61 p^q¼p_q 69
Þ ðp _ qÞ _ r, p _ ðq _ rÞ [Sı̀]
Þ
62 p _ q ¼ ðp ^ qÞ _ p 70
Þ ðp ^ qÞ ^ r, p ^ ðq ^ rÞ [Sı̀]
Þ
63
Þ p _ q ¼ ðp ^ qÞ _ p 71
Þ ðp ^ qÞ _ r, p _ ðq _ rÞ [No]
64
Þ p ^ q ¼ ðp _ qÞ ^ p 72
Þ p _ ðq _ pÞ, q _ ðp _ qÞ [Sı̀]
Le leggi di De Morgan e le proprietà dei connettivi

Usando le leggi di De Morgan, nega le seguenti proposizioni.
73
Þ «Paolo non studia e non lavora» 77
Þ «il numero n è primo o dispari»
74
Þ «a 6¼ 1 o b ¼ 1» 78
Þ «il numero n è maggiore o uguale al numero m»
75
Þ «Paolo studia o gioca a tennis» 79
Þ «0 < a < 10»
76
Þ «a ¼ 0 e b ¼ 10»
26/34
Dimostra, senza ricorrere alle tavole di verità, le se-
80
Þ ESERCIZIO SVOLTO
guenti equivalenze logiche.
Dimostriamo, senza ricorrere alle tavole di verità, la
seguente equivalenza logica: 81
Þ p _ ðp ^ qÞ ¼ p ^ ðp _ qÞ
p _ ðq ^ rÞ ¼ ðp ^ qÞ _ ðp ^ rÞ 82
Þ ðp ^ qÞ _ ðq ^ rÞ ¼ ðp _ rÞ ^ q
Otteniamo che: 83
Þ p ^ ðq _ rÞ ¼ ðp _ qÞ ^ ðp _ rÞ
p _ ðq ^ rÞ ¼ 84
Þ p_q¼p^q
¼ ðp _ qÞ ^ ðp _ rÞ ¼ Proprietà distributiva 85
Þ ðp ^ qÞ ^ r ¼ ðp _ qÞ _ r
di _ rispetto a ^
86
Þ ðp _ qÞ _ r ¼ ðp ^ qÞ _ r
¼ ðp _ qÞ _ ðp _ rÞ ¼ Leggi di De Morgan
¼ ðp ^ qÞ _ ðp ^ rÞ Leggi di De Morgan
3. L’implicazione TEORIA a p. 10
87
Þ Vero o falso?
a. la proposizione p ) q è vera ogni qualvolta p è falsa V F
b. se la proposizione p ) q è vera, allora necessariamente p è vera V F
c. se la proposizione p ) q è falsa, allora necessariamente q è falsa V F
d. ogni proposizione è equivalente alla sua inversa V F
e. la proposizione p ) q esprime che «p è condizione necessaria per q» V F
[2 affermazioni vere e 3 false]
88
Þ Completa:
a. L’inversa della proposizione «se torno a casa, ti telefono» è «se ..............., torno a ...............»

b. La contronominale della proposizione «se torno a casa, ti telefono» è «se non ..............., non ...............»
c. La contraria della proposizione «se torno a casa, ti telefono» è «se non ..............., non ...............»
L’uso del connettivo «se ... allora»

Date le proposizioni Siano p: «piove», q: «prendo l’ombrello», r: «vado al la-
p: «il ladro è entrato dalla finestra» voro a piedi». Riscrivi in simboli le seguenti proposi-
zioni espresse a parole.
q: «il ladro aveva un complice»
r: «il furto è avvenuto dopo la mezzanotte» 95
Þ Se piove, allora prendo l’ombrello.
scrivi in parole le seguenti proposizioni composte. 96

Þ Se vado al lavoro a piedi, allora prendo l’ombrello.
97
Þ Se non piove, allora vado al lavoro a piedi.
89
Þ p)q
98
Þ Se non piove, allora non prendo l’ombrello e vado
90
Þ q)p
al lavoro a piedi.
91
Þ ðp ^ qÞ ) r
Þ 99 Se piove o se vado al lavoro a piedi, allora prendo
92
Þ ðp ^ rÞ ) q l’ombrello.
93
Þ r ) ðp _ qÞ 100 Se prendo l’ombrello o se non vado al lavoro a pie-
Þ
94
Þ p ) ðq ^ rÞ di, allora piove.
101
Þ Stabilisci, ricordando la tavola di verità del connettivo «se ... allora», il valore di verità delle seguenti implicazioni.
a. se 5 þ 5 ¼ 10, allora 5 þ 5 þ 5 ¼ 20 V F
b. se 1101 è primo, allora non è divisibile per 3 V F
c. se 4 è un numero dispari, allora 10 è maggiore di 12 V F
d. se 4 è maggiore di 3, allora il prodotto 4 2 è maggiore del prodotto 3 2 V F
e. se 3 è maggiore di 4, allora il prodotto 3 3 è minore del prodotto 4 3 V F
[Solo una affermazione è falsa]

27/34
L’utilizzo delle espressioni «condizione
102
Þ ESERCIZIO SVOLTO
necessaria» e «condizione sufficiente»
Tre proposizioni p, q ed r sono tali che p è vera, q è
falsa ed r è falsa. Determiniamo il valore di verità del- Completa inserendo al posto dei puntini «necessaria»
la proposizione ðp ) qÞ ^ r. o «sufficiente».
Þ126 Condizione ......................... perché un numero sia divi-

Costruiamo la tavola di verità.
sibile per 4 è che sia divisibile per 8.
p q r p)q r ðp ) qÞ ^ r 127 Condizione ......................... per essere promossi senza
Þ
V F F F V F debito è avere 6 in tutte le materie.
128
Þ Avere 8 in tutte le materie è condizione .........................
p è V e q è F, p ) q è F e r è V, per essere promossi.

per ipotesi
quindi: p ) q è F quindi la loro 129 Essere napoletani è condizione per esse-
congiunzione è F
Þ .........................
re italiani.
La conclusione è che la proposizione ðp ) qÞ ^ r è falsa. 130 Essere italiani è condizione
Þ ......................... per essere
napoletani.
Tre proposizioni p, q ed r sono tali che p è vera, q è 131 Condizione ......................... perché la macchina non si
Þ
falsa ed r è vera. Determina il valore di verità delle se- fermi è che ci sia benzina.
guenti proposizioni composte.
Þ132 Condizione ......................... affinché un numero sia divi-
103
Þ ðp ) qÞ ^ r sibile per 2 è che sia multiplo di 4.
104
Þ ðp ) qÞ _ r 133
Þ Condizione ......................... affinché un numero sia pri-
105 ðp ) qÞ ^ r mo è che non sia divisibile per 3.
Þ
106 ðp ) qÞ _ r 134 La condizione xy > 0 è
Þ ......................... perché sia x > 0
Þ
e y > 0.
107
Þ ðp ) qÞ _ r
135 La condizione x < 0 e y < 0 è
Þ ......................... perché sia
108
Þ ðp ) qÞ ^ r
xy > 0.
109
Þ ðp ) qÞ ^ ðr ) qÞ
Scrivi le seguenti proposizioni in forma equivalente
110
Þ Considera la proposizione composta:
utilizzando le espressioni «condizione necessaria» o

ððp _ qÞ _ rÞ ) ðp _ qÞ «condizione sufficiente».
Sapendo che p è vera, si può stabilire il valore di verità Þ136 Se un quadrilatero è un rettangolo allora è un paral-
della proposizione data? lelogramma.
137
Þ Se un quadrilatero è un parallelogramma allora i
Costruisci la tavola di verità delle seguenti proposizio-
suoi lati opposti sono paralleli.
ni.
138
Þ Essere romani implica essere italiani.
111
Þ p)q
139
Þ Dal fatto che un triangolo è equilatero segue che es-
112
Þ p)q
so è isoscele.
113
Þ p)q
140
Þ Se ti sei iscritto, allora puoi partecipare al torneo.
114
Þ ðp _ qÞ ) q
141
Þ Dal fatto che un numero è multiplo di 6, segue che
115
Þ ðp ) qÞ ^ p è divisibile per 3.
116
Þ ðp _ qÞ ) ðp ^ qÞ
117 ðp _ qÞ ) r
La negazione di un’implicazione
Þ
118
Þ ðp ) qÞ ) r 142
119
Þ ðp ) qÞ ^ r
Nega la proposizione «se perdo la partita, allora non
vengo alla festa stasera».
Stabilisci se le seguenti coppie di proposizioni sono lo-
gicamente equivalenti.
La proposizione data non è altro che l’implicazione
120 p ) q,
Þ p^q [Sı̀] p ) q, dove
121
Þ p ) q, p_q [No] p: «perdo la partita» e q: « .......................................................... »
122
Þ p ) q, p^q [Sı̀]
Ricorda che la negazione della proposizione p ) q è la
123
Þ ðp _ qÞ ) q, p_q [Sı̀] proposizione p ^ q.
124
Þ ðp ) qÞ ) r, ðp ^ qÞ _ r [Sı̀] Quindi la negazione della proposizione data è «perdo
125 ðp ) qÞ _ r, ðp _ qÞ ^ r [No] la partita e ....................................................................................................... ».
Þ
28/34
Scrivi le negazioni delle seguenti proposizioni.
146
Þ Se 99 è divisibile per 9, allora è divisibile per 3.
143
Þ Se ABC è un triangolo isoscele, allora è equilatero. 147
Þ Spiega perché Un uomo viene processato per furto.
144 Se c’è brutto tempo, lo spettacolo viene rinviato. Durante il processo l’accusa afferma: «Se l’imputato è col-
Þ
pevole, allora deve avere avuto un complice»; l’avvocato
145
Þ Se il furto è avvenuto dopo la mezzanotte, allora il
difensore controbatte: «Non è vero!». L’uomo a quel pun-
testimone ha mentito.
to viene condannato. Sai spiegare perché?
Proposizione inversa, contronominale, contraria

148
Þ ESERCIZIO GUIDATO Scrivi la proposizione inversa di ciascuna delle se-
guenti proposizioni.
Data la proposizione: «Se piove, allora non vado al la-
voro a piedi», scrivi la sua inversa. 149
Þ Se vado alla festa, non vengo a cena da te.
150
Þ Se vinco la partita, ti offro la cena.
Posto p: «Piove» e q: «Non vado al lavoro a piedi», la pro-
151
Þ Se supero l’esame, ti telefono.
posizione data non è altro che p ) q.
La sua inversa, q ) p, è: «Se non vado ...................., allora 152
Þ Se il ladro aveva un complice, il furto può essere av-
....................». venuto dopo la mezzanotte.
153
Þ Completa la seguente tabella, sull’esempio della seconda riga.
Proposizione Valore di verità Proposizione inversa Valore di verità

Se un numero è primo, allora non è V Se un numero non è divisibile per F
divisibile per 36. 36, allora è primo.
Se un numero è divisibile per 6, allo- .......... .......... ..........
ra è pari.
ra è divisibile per 2 e per 3.
ra la sua ultima cifra è 0.

154
Þ Scrivi l’inversa, la contronominale e la contraria 156
Þ La contronominale di una proposizione è: «Se vado al
della proposizione: «Se nevica, andiamo a fare la settima- cinema, allora non vado a teatro». Qual è la proposizione
na bianca». diretta?
155 Scrivi l’inversa, la contronominale e la contraria
Þ Þ157 La contraria di una proposizione è: «Se vado al cine-
della proposizione: «Se non gioco a golf, vado a fare com- ma, allora non vado a teatro». Qual è la proposizione di-
pere». retta?
4. La doppia implicazione TEORIA a p. 14
158
Þ Vero o falso? 159
Þ Vero o falso?
a. la proposizione p , q è vera ogni qualvolta a. per un numero naturale diverso da zero
p è vera V F essere divisibile per 3 è condizione necessaria e
b. se la proposizione p , q è vera, allora sufficiente per non essere primo V F
necessariamente p e q hanno lo stesso valore di b. per un numero naturale diverso da zero
verità V F avere l’ultima cifra uguale a 2 è condizione
c. se la proposizione p , q è falsa, allora necessaria e sufficiente per essere divisibile per 2 V F
necessariamente p e q sono false V F c. per un numero naturale diverso da zero
d. p , q equivale a ðp ) qÞ ^ ðq ) pÞ V F avere la somma delle cifre uguale a 6 è
e. la proposizione p , q esprime che condizione sufficiente ma non necessaria per
«p è condizione necessaria e sufficiente essere divisibile per 3 V F
per q» V F d. per un numero naturale diverso da zero
f. Se p è vera e q è falsa, allora p , q ha lo avere come ultima cifra 0 o 5 è condizione
stesso valore di verità di p _ q V F necessaria e sufficiente per essere divisibile per 5 V F
[3 affermazioni vere e 3 false] [2 affermazioni vere e 2 false]
29/34
Il connettivo «se e solo se»
Date le proposizioni p: «il ladro è entrato dalla fine- Siano p: «piove», q: «prendo l’ombrello», r: «vado al la-
stra», q: «il ladro aveva un complice», r: «il testimone voro a piedi». Riscrivi in simboli le seguenti proposi-
è attendibile», riscrivi a parole le seguenti proposizio- zioni espresse a parole.
ni composte.
163
Þ Prendo l’ombrello se e solo se piove.
160 r , pðp ^ qÞ , r
Þ 164
Þ Vado al lavoro a piedi se e solo se non piove.
165
Þ Non è vero che prendo l’ombrello se e solo se piove.
161
Þ q , r ðp , rÞ ^ q
166
Þ Non è vero che vado al lavoro a piedi se e solo se
162
Þ p , q r , ðp _ qÞ non piove.
167
Þ Date le proposizioni p: «la Luna è una stella» e q: «il Sagittario è una costellazione», completa la seguente tabella as-
segnando il valore di verità a ciascuna proposizione.
Proposizione p q p q p,q p,q p,q

Valore di verità ..... ..... ..... ..... ..... ..... .....
168
Þ Date le proposizioni p: «Parigi non è in Italia», q: «il Piemonte confina con la Lombardia», completa la seguente ta-
bella assegnando il valore di verità a ciascuna proposizione.
Proposizione p q p q p,q p,q p,q

Valore di verità ..... ..... ..... ..... ..... ..... .....
Costruisci le tavole di verità delle seguenti proposi- Verifica le seguenti equivalenze logiche.
zioni.
173
Þ p,q¼p,q
169
Þ p,q ðp ) qÞ , ðp _ qÞ
174
Þ ðp _ qÞ ^ ðp _ qÞ ¼ p , q
170
Þ p,q ðp _ qÞ , r
175
Þ ðp , qÞ _ q ¼ p _ q
171
Þ ðp _ qÞ , q ðp , qÞ ) r
176 ðp , qÞ ^ p ¼ p ^ q

172
Þ ðp , qÞ _ p ðp , qÞ ^ r Þ
I modi di leggere la doppia implicazione

Esprimi le seguenti proposizioni in forma equivalente, 179
Þ Essere nati a Reggio Calabria implica essere nati in
utilizzando le espressioni «condizione necessaria», Italia.
«condizione sufficiente» o «condizione necessaria e 180 Se un triangolo ha i tre lati congruenti, allora ha i
Þ
sufficiente». tre angoli congruenti e viceversa.
177 Se si parcheggia in divieto di sosta, allora si può rice-
Þ 181
Þ Avere vinto alla gara implica essere stati iscritti.
vere una multa. 182 Vengo alla festa se mi accompagnano Alessandra e
Þ
178 Per un rettangolo, avere i lati congruenti equivale a
Þ Marcello.
essere un quadrato.
Esercizi riassuntivi sulle proposizioni e i connettivi

Test 184
Þ Se p è falsa, quale delle seguenti proposizioni è cer-
tamente vera?
183
Þ Date le tre proposizioni p: «Vado a Milano», q: «Ti
passo a prendere», r: «Ti vengo a trovare», qual è la tradu-
A p_q C p)q
zione in simboli della proposizione: «Se vado a Milano ti
B p^q D p,q
passo a prendere, oppure se non vado a Milano ti vengo a 185
Þ Tre proposizioni p, q ed r sono tali che p è vera, q è
trovare»? falsa ed r è falsa. Una sola delle seguenti proposizioni è
A ðp _ pÞ ) ðq _ rÞ vera. Quale?
A ðp _ qÞ ) r
B ðp ) rÞ _ ðp ) qÞ
B ðp _ qÞ ^ r
C ðp ) qÞ ^ ðp ) rÞ
C ðp ) qÞ ^ ðr ) pÞ
D ðp ) qÞ _ ðp ) rÞ D ðp ^ qÞ ^ r
30/34
Þ186 Due delle seguenti proposizioni esprimono, in modi B sufficiente (ma non necessaria)
formalmente diversi ma equivalenti, l’inversa della propo- C necessaria e sufficiente
sizione: «Se c’è bel tempo, vado a fare una passeggiata». D né necessaria né sufficiente
Quali? affinché sia divisibile per 14.
a. Se non vado a fare una passeggiata, non c’è bel tem-
190
Þ Due delle seguenti proposizioni esprimono, in mo-
po.
di formalmente diversi ma equivalenti, la negazione della
b. Se vado a fare una passeggiata, c’è bel tempo.
proposizione: «Condizione sufficiente per vincere il tor-
c. Condizione sufficiente perché vada a fare una pas-
neo è vincere la prima partita». Quali sono?
seggiata è che ci sia bel tempo.
a. Vinco il torneo e non vinco la prima partita.
d. Condizione necessaria perché vada a fare una pas-
b. Vinco la prima partita e non vinco il torneo.
seggiata è che ci sia bel tempo.
c. Non è vero che, se vinco la prima partita, allora vin-
187
Þ Quale delle seguenti proposizioni è equivalente a: co il torneo.
«Se piove, allora vado a scuola in autobus»? d. Non è vero che, se vinco il torneo, allora vinco la
A Se non vado a scuola in autobus, allora non piove.
prima partita.
B Se vado a scuola in autobus, allora piove.
191
Þ Determina la tavola di verità delle proposizioni:
C Se non piove, allora non vado a scuola in autobus.
a. ðp _ qÞ ) q
D Nessuna delle precedenti.
b. ðp _ qÞ ) ðq ^ rÞ
188
Þ Quale delle seguenti è la negazione della proposizio-
192
Þ Verifica, nel modo che preferisci, che:
ne: «Se Paolo vive a Milano, allora vive in Lombardia»?
A Paolo non vive a Milano e non vive in Lombardia. ðp _ qÞ ) r ¼ ðp ^ qÞ _ r.
B Paolo non vive a Milano o non vive in Lombardia. 193 Considera la proposizione p: «Se vado a Parigi, non
Þ
C Paolo vive a Milano o non vive in Lombardia. posso partecipare alla tua festa».
D Paolo vive a Milano e non vive in Lombardia. a. Se p è l’inversa della proposizione q, qual è q?
189 Per un numero naturale essere divisibile per 7 è con- b. Se p è la contronominale della proposizione q, qual
Þ
dizione: è q?
A necessaria (ma non sufficiente) c. Se p è la contraria della proposizione q, qual è q?

5. Tautologie e regole di deduzione TEORIA a p. 15
194
Þ Vero o falso?
a. se una proposizione è una tautologia, non può mai essere falsa V F
b. p ^ p è una tautologia V F
c. p _ p è una contraddizione V F
d. «Oggi piove. Se oggi piove, non esco. Deduco che non esco». Si tratta di una deduzione corretta, basata
sullo schema del modus ponens V F
e. «Oggi non piove. Se oggi piove, non esco. Deduco che esco». Si tratta di una deduzione corretta, basata
sullo schema del modus tollens V F
[2 affermazioni vere e 3 false]
195
Þ Associa a ogni deduzione lo schema di ragionamento corrispondente.
a. 15 è un numero divisibile per 3. A. Modus ponens
Se un numero è primo non è divisibile per 3.
Deduco che se un numero è primo, la somma delle sue cifre non è divisibile per 3.
b. Se un numero è primo, non è divisibile per 3. B. Modus tollens
Se un numero non è divisibile per 3, la somma delle sue cifre non è divisibile per 3.
Deduco che se un numero è primo, la somma delle sue cifre è divisibile per 3.
c. Se mi esercito, supererò l’esame. C. Sillogismo ipotetico
Non mi sono esercitato.
Deduco che non supererò l’esame.
d. Se mi esercito, supererò l’esame. D. Ragionamento non valido
Mi esercito.
Deduco che supererò l’esame.
31/34
Tautologie e contraddizioni
213
Þ Se vado alla riunione, allora torno a casa tardi.
Se torno a casa tardi, allora non vengo al cinema.
Verifica, utilizzando le tavole di verità, che le seguenti
proposizioni sono tautologie.
..............................................................................................................................
196
Þ p ) ðp _ qÞ
214
Þ Se un numero è primo, allora non è divisibile per 6.
197
Þ p ) ðq ) pÞ
Se un numero non è divisibile per 6, allora non è divisibi-
198
Þ ðp ^ qÞ ) ðp _ qÞ le per 12.
199
Þ ðp , qÞ _ ðp , qÞ
..............................................................................................................................
Verifica, utilizzando le tavole di verità, che le seguenti
proposizioni sono contraddizioni. Riconosci su quali schemi di ragionamento si basano
le seguenti deduzioni.
200
Þ ðp ^ qÞ ^ q
201
Þ ðp ^ qÞ ^ q 215
Þ Il numero 17 è primo. Se 17 è primo, allora non è di-
visibile per 3. Se ne deduce che 17 non è divisibile per 3.
202
Þ ðp ) qÞ , ðp ^ qÞ
216
Þ Se 1008 è primo, allora non è divisibile per 3. Il nu-
203
Þ ðp ^ qÞ , ðp ) qÞ
mero 1008 è divisibile per 3. Se ne deduce che 1008 non
è primo.
Per ciascuna delle seguenti proposizioni stabilisci se si
tratta di una tautologia o di una contraddizione. Þ217 Se torno a casa, allora vengo a trovarti. Se vengo a
trovarti, allora mi fermo a cena da te. Se ne deduce che,
204
Þ ðp ) qÞ ) p
se torno a casa, allora mi fermo a cena da te.
205
Þ ðp ^ qÞ ) ðp _ qÞ
218
Þ Condizione sufficiente perché sia promosso è che
206
Þ ðp ) qÞ ) ðp _ qÞ prenda un buon voto nell’interrogazione. Non sono stato
207
Þ ðp ) qÞ ) ðp ^ qÞ promosso. Quindi, non ho preso un buon voto nell’inter-
208 ðp ^ qÞ ^ ðp ^ qÞ rogazione.
Þ
Gli schemi di ragionamento Validità di un ragionamento

del modus ponens, del modus tollens Stabilisci se i seguenti ragionamenti sono validi.
e del sillogismo ipotetico
219
Þ ESERCIZIO SVOLTO
Applicando lo schema di ragionamento del modus po-
Alcuni dinosauri sono erbivori.
nens, del modus tollens o del sillogismo ipotetico com-
Otto è un erbivoro.
pleta le seguenti deduzioni, specificando ogni volta lo
schema di ragionamento usato.
Otto è un dinosauro.
209
Þ Piove.
Se piove allora prendo l’ombrello.
Osserva la figura qui sotto: abbiamo rappresentato, trami-
te diagrammi di Venn, l’insieme D dei dinosauri e l’insie-
..............................................................................................................................
me E degli erbivori. Dal momento che alcuni, ma non
tutti, i dinosauri sono erbivori, abbiamo dovuto disegna-
210
Þ Ho vinto la partita.
re i due insiemi in modo che si intersechino.
Se vinco la partita, allora questa sera esco a cena.
E
erbivori
..............................................................................................................................
D
Otto?
211 Se Paolo fa parte della squadra di pallavolo, allora si dinosauri Otto?
Þ
allena tutti i giorni.
Paolo non si allena tutti i giorni.
In base alle premesse, Otto appartiene all’insieme E: non
.............................................................................................................................. sappiamo, però, se appartiene all’insieme D \ E dei dino-
sauri erbivori o all’insieme E D degli animali erbivori
212
Þ Se il parallelogramma ABCD è un rettangolo, allora
che non sono dinosauri.
ha i quattro angoli retti.
Dunque, in base alle premesse, non possiamo concludere
Il quadrilatero ABCD non ha i quattro angoli retti.
che Otto sia necessariamente un dinosauro: la deduzione
non è valida.
..............................................................................................................................
32/34
220
Þ ESERCIZIO SVOLTO 223
Þ Se Maria viene alla mia festa di compleanno, allora
alla festa non viene Paolo.
Se Paolo fa parte della squadra di pallavolo, allora si
Se alla mia festa di compleanno viene Marco, allora viene
allena tutti i giorni.
anche Paolo.
Se Paolo si allena tutti i giorni, allora si reca tutti i
Maria viene alla mia festa di compleanno.
giorni in palestra.
Paolo non si reca tutti i giorni in palestra. Alla mia festa di compleanno non viene Marco.
[Deduzione valida]
Paolo non fa parte della squadra di pallavolo.
Þ224 Se appartieni alle prime 100 persone che prenotano
Dalle premesse il viaggio in Messico, allora partecipi al concorso.
Se partecipi al concorso, allora puoi vincere il viaggio gra-
«se Paolo fa parte della squadra di pallavolo, allora si
tis.
allena tutti i giorni»,
Hai vinto il viaggio gratis.
«se Paolo si allena tutti i giorni, allora si reca tutti i
giorni in palestra»,
Appartieni alle prime 100 persone che hanno prenotato
si deduce, per la legge del sillogismo ipotetico, che: il viaggio in Messico. [Deduzione non valida]
«se Paolo fa parte della squadra di pallavolo, allora si 225 Se l’anello che hai trovato non mi appartiene, allora
Þ
reca tutti i giorni in palestra» non ha incisa la sigla G.M.
Da questa deduzione e dalla premessa «Paolo non si reca Riceverai la ricompensa se l’anello che hai trovato mi ap-
tutti i giorni in palestra», si deduce per la legge del modus partiene.
tollens, che: Non ricevi alcuna ricompensa.
«Paolo non fa parte della squadra di pallavolo»

L’anello che hai trovato non ha incisa la sigla G.M.
Pertanto il ragionamento è valido. [Deduzione valida]
226
Þ Se il ladro non è di bassa statura, aveva un complice.
221
Þ Se Antonella fa parte della banda, allora suona uno
Se è di bassa statura, allora è entrato dalla finestra.
strumento musicale.
Il ladro non è entrato dalla finestra.
Antonella non fa parte della banda.

Il ladro aveva un complice. [Deduzione valida]
Antonella non suona strumenti musicali.
227
Þ Dalle premesse:
[Deduzione non valida]
1. piove
222
Þ Tutti i triangoli isosceli hanno un asse di simmetria. 2. se piove, non esco di casa
Nessun triangolo con un asse di simmetria è scaleno. 3. se vengo a trovarti, esco di casa
4. se non ti telefono, vengo a trovarti
Nessun triangolo isoscele è scaleno. si deduce che «ti telefono». Prova che si tratta di una de-
[Deduzione valida] duzione valida.
6. Problemi di logica TEORIA a p. 18
228 Quale delle seguenti proposizioni è equivalente a:

Þ 230 Supponiamo di sapere che le due seguenti proposi-
Þ
«Se Marta non studia, allora guarda la televisione»? zioni sono vere:
A Se Marta guarda la televisione, allora non studia. a. Andrea è amico di Anna o di Laura;
B Marta studia o guarda la televisione. b. se Andrea è amico di Anna, allora è amico anche di
Laura.
C Marta guarda la televisione e non studia. [B]
Si può stabilire di chi è amico Andrea?
229 Quale delle seguenti proposizioni è equivalente a:
Þ [Andrea è certamente amico di Laura mentre
«Anna non ha superato l’esame o esce a cena»? non si può stabilire se sia amico di Anna]
A Anna ha superato l’esame e non esce a cena. Þ231 Un’isola è abitata solo da furfanti (dicono sempre il
falso) o cavalieri (dicono sempre la verità); un abitante
B Se Anna ha superato l’esame, allora esce a cena.
dell’isola afferma: «Io sono amico di Linda»; «Se sono
C Se Anna esce a cena, allora ha superato l’esame.
amico di Linda, sono amico anche di Barbara». È un cava-
liere o un furfante?
33/34
a. se la risposta A è corretta, allora lo è anche la B;
232
Þ Un’isola è abitata solo da furfanti (dicono sempre il
falso) o cavalieri (dicono sempre la verità); un abitante b. se la risposta C non è corretta, allora non lo è anche
dell’isola afferma: «Io sono un furfante, ma mio fratello la B;
non lo è». È un cavaliere o un furfante? E suo fratello? c. se la risposta B non è corretta, allora non lo sono
[Entrambi furfanti] anche la D e la E.
Qual è la risposta corretta? [C]
Þ233 Tre uomini A, B, C furono processati e furono accer-
tati i seguenti fatti: 237 Anna dice che Beatrice mente; Beatrice dice che
Þ
a. Se A è innocente o B è colpevole, allora C è inno- Carla mente; Carla dice che Anna e Beatrice mentono.
cente; Chi dice la verità e chi mente?
b. Se A è innocente, allora C è colpevole. 238 Anna dice che Beatrice mente; Beatrice dice che
Þ
L’ispettore chiese al sergente: «Lei riesce a dedurre da que- Carla dice la verità; Carla dice che Anna e Beatrice mento-
sti fatti chi è innocente e chi colpevole?». «No» – rispose no. Chi dice la verità e chi mente?
il sergente – «ma le informazioni sono sufficienti per in- [Anna dice la verità, Beatrice mente, Carla mente]
criminare con certezza uno di essi». Di chi si può afferma-
re che è colpevole senza sbagliare? 239
Þ Tre uomini, Antonio, Mario e Paolo, sono indiziati
di furto ma uno solo è colpevole. Sottoposti a un interro-
Þ234 In un sacchetto ci sono alcune biglie. Maria dice: gatorio dalla polizia Antonio dice di essere innocente,
«Nel sacchetto ci sono in tutto tre biglie e sono nere». Lu- Mario dice che il colpevole è Paolo e Paolo sostiene che
ca dice: «Nel sacchetto ci sono due biglie nere e due biglie Mario mente. Sapendo che uno solo dice la verità, chi è il
rosse». Giorgio dice: «Nel sacchetto ci sono solo biglie ne- colpevole?
re». Sapendo che uno solo dei tre ha mentito, quante bi-
glie ci sono nel sacchetto? [Tre] Þ240 In un paese abitano solo briganti, che mentono
sempre, e cavalieri, che dicono sempre la verità. Un gior-
Þ235 Un’isola è abitata solo da furfanti (dicono sempre il
nalista intervista quattro abitanti: Arturo, Bernardo, Car-
falso) o cavalieri (dicono sempre la verità); l’abitante A af-
lo e Dario, che fanno le seguenti dichiarazioni. Arturo:
ferma: «Siamo tutti cavalieri» e l’abitante B: «Solo uno di
«Bernardo è un brigante»; Bernardo «Io sono l’unico ca-
noi è furfante». A è furfante o cavaliere? Si può stabilire se
valiere tra noi quattro»; Carlo: «Almeno uno tra Arturo e
B è furfante o cavaliere?
Dario è un brigante»; Dario: «Siamo 4 cavalieri». Quali
236 Stai cercando di rispondere a un quesito a risposta dei quattro abitanti sono cavalieri e quali sono briganti?

Þ
multipla in cui una e una sola risposta è corretta. Sei [Dario e Bernardo sono briganti,
giunto alle seguenti conclusioni: Carlo e Arturo sono cavalieri]
34/34

Complementi Logica

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Complementi Logica

Caricato da

Copyright:

Formati disponibili

Complementi di logica

Data la proposizione p, scriviamo la sua negazione p e determiniamo il valore di

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

«6 è un numero primo» «6 non è un numero primo» p è vera

Proposizione Proposizione a parole Valore di verità

p^q «Milano è in Italia e in Europa» La proposizione p ^ q è vera in

p^q «Milano è in Italia e non è in La proposizione p ^ q è falsa in

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

Proposizione Proposizione a parole Valore di verità

p_q «5 è pari o è primo» p _ q è vera poiché q è vera

p_q «5 è pari o non è primo» p _ q è falsa poiché sia p sia q

A parole In simboli Modo di operare

PER SAPERNE DI PIÙ I connettivi come operazioni

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

p p^q p_q p^q p_q ESERCIZI a p. 22

La costruzione di una tavola di verità

Per costruire la tavola di verità di una proposizione composta procediamo, co-

3 Primo passo Costruiamo due p q

3 Secondo passo Aggiungiamo la p q p_q

3 Terzo passo Costruiamo l’ulti- p q p_q p ^ ðp _ qÞ

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

Nell’esempio precedente abbiamo costruito la tavola di verità di una proposizio-

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

Proposizioni logicamente equivalenti

Dobbiamo costruire le tavole di verità delle due proposizioni p ^ q e p _ q,

p q p^q p^q p q p_q

Compiliamo le colonne colorate in azzurro.

p q p^q p^q p q p_q

Concludiamo compilando le colonne colorate in rosso.

p q p^q p^q p q p_q

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

L’uguaglianza delle due colonne in rosso mostra che le tavole di verità di

p^q¼p_q [1] Queste equivalenze erano

Proprietà dei connettivi

Proprietà dei connettivi Espressione

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

3Esistono quindi le seguenti corrispondenze tra connettivi e operazioni insie-

3Queste corrispondenze sono suggerite anche dalle definizioni stesse di interse-

1. Costruisci le tavole di verità delle proposizioni:

2. Stabilisci quali delle seguenti coppie di proposizioni sono logicamente equivalenti.

3. Scrivi la negazione della proposizione: «15 è pari o primo» e utilizza le leggi di De

MATEMATICA NELLA REALTÀ

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

NOT Ingresso Uscita NOT

AND p Ingressi Uscita

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

La proposizione p ) q si ritiene falsa (F) solo nel caso in cui la premessa p

La tavola di verità di p ) q sarà quindi la seguente:

Proposizione Proposizione Valore di verità

p)q «se Milano è una città Le due proposizioni p e q sono

p)q «se Milano è una città La proposizione p è vera e la

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

Concludiamo osservando che, in base al modo di operare del connettivo ), il va-

I modi di leggere l’implicazione

a. «Totalizzare un punteggio di 80 punti al test è condizione sufficiente per

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

¼ p^q ¼ leggi di De Morgan

Proposizione inversa, contronominale e contraria

La proposizione data è l’implicazione diretta p ) q, essendo p la proposizione

Nuova matematica a colori – Petrini f 2011 – De Agostini Scuola SpA – Novara

In riferimento all’esempio precedente, la proposizione p ) q è vera mentre la sua

1. Date le proposizioni p: «4 è pari» e q: «4 è primo», esprimi a parole le proposizioni