"Alcuni" vuol dire "non tutti"?

No. In logica, alcuni $S$ sono $P$ significa che almeno un $S$ è $P$, e resta vero anche se tutti gli $S$ sono $P$. Da alcuni $S$ sono $P$ non segue alcuni $S$ non sono $P$.

Da tutti gli $M$ sono $P$ e tutti gli $S$ sono $M$ posso concludere che alcuni $S$ sono $P$?

Solo se sai che $S$ ha almeno un elemento. Nella logica moderna, tutti gli $S$ sono $P$ non afferma che esista qualche $S$ (tutti gli unicorni sono animali è vero anche se non esistono unicorni). Il diagramma di Venn lo mostra: le premesse ombreggiano regioni ma non mettono nessuna x.

Quanti sillogismi categorici validi esistono?

Ognuna delle tre proposizioni è di uno dei quattro tipi ($4 \times 4 \times 4 = 64$ combinazioni), e il termine medio può occupare quattro posizioni diverse, il che dà $64 \times 4 = 256$ forme. Solo $15$ di queste sono valide nella logica moderna ($24$ se si suppone che ogni gruppo abbia almeno un elemento). Ecco perché verificare con il diagramma è più sicuro che fidarsi di come suona un ragionamento.

Risorse per insegnanti

I sillogismi

Impara le quattro proposizioni categoriche e le parti di un sillogismo, e verifica la validità con i diagrammi di Venn e il sillogismo ipotetico.

Avanzato30 minLezione

Scheda da stampare

Definizione

Un sillogismo è un ragionamento deduttivo con esattamente due premesse e una conclusione. Un sillogismo categorico parla di gruppi e usa esattamente tre termini:

il termine minore $S$ : il soggetto della conclusione
il termine maggiore $P$ : il predicato della conclusione
il termine medio $M$ : compare in entrambe le premesse ma mai nella conclusione

La premessa che contiene

P

è la premessa maggiore, la premessa che contiene

S

è la premessa minore.

Ogni proposizione di un sillogismo categorico ha una di queste quattro forme (le lettere A, E, I, O sono i codici tradizionali, presi dalle parole latine *affirmo*, affermo, e *nego*, nego: A e I affermano, E e O negano):

Codice	Proposizione	Che cosa dice dei gruppi
A	Tutti gli $S$ sono $P$	nessun elemento di $S$ sta fuori da $P$
E	Nessun $S$ è $P$	$S$ e $P$ non hanno elementi in comune
I	Alcuni $S$ sono $P$	almeno un elemento sta sia in $S$ sia in $P$
O	Alcuni $S$ non sono $P$	almeno un elemento di $S$ sta fuori da $P$

Verificare la validità con un diagramma di Venn. Disegna tre cerchi che si sovrappongono,

S

M

P

. Formano 8 regioni:

Regione	Dentro	Fuori
1	$S$	$M$ , $P$
2	$M$	$S$ , $P$
3	$P$	$S$ , $M$
4	$S$ , $M$	$P$
5	$S$ , $P$	$M$
6	$M$ , $P$	$S$
7	$S$ , $M$ , $P$	nessuno
8	nessuno	$S$ , $M$ , $P$

Per prima cosa ombreggia (segna come vuota) ogni regione che una premessa con tutti o nessuno esclude. Poi metti una x per ogni premessa con alcuni, ma solo dove la x è costretta in un'unica regione. Il sillogismo è valido se il diagramma finito mostra già la conclusione, senza disegnare nient'altro.

Forma valida classica:

\text{Tutti gli } M \text{ sono } P,\quad \text{tutti gli } S \text{ sono } M \quad\Rightarrow\quad \text{tutti gli } S \text{ sono } P

La stessa catena funziona per le proposizioni se-allora. È il sillogismo ipotetico (proprietà transitiva):

p \to q,\quad q \to r \quad\Rightarrow\quad p \to r

Prova subito

Tutti i rettangoli sono parallelogrammi. Tutti i quadrati sono rettangoli. Quindi tutti i quadrati sono parallelogrammi. Qual è il termine medio?

Esempi svolti

Tutti gli uccelli sanno volare. Tutti i pinguini sono uccelli. Quindi tutti i pinguini sanno volare. Indica i tre termini e le due premesse. Il ragionamento è valido? La conclusione è vera?

Trova il termine minore e il maggiore nella conclusione

Conclusione: tutti i pinguini (soggetto) sono animali che sanno volare (predicato) → $S$ = pinguini, $P$ = animali che sanno volare

Trova il termine medio

Il termine presente in entrambe le premesse ma non nella conclusione è uccelli → $M$ = uccelli

Indica le premesse

Tutti gli uccelli sanno volare contiene $P$ ; tutti i pinguini sono uccelli contiene $S$ → Premessa maggiore: tutti gli uccelli sanno volare. Premessa minore: tutti i pinguini sono uccelli.

Scrivi la forma con le lettere

Tutti gli $M$ sono $P$ , tutti gli $S$ sono $M$ , quindi tutti gli $S$ sono $P$ → La forma valida classica: il ragionamento è valido

Controlla se le premesse sono vere

La premessa maggiore è falsa: pinguini e struzzi sono uccelli che non sanno volare → Valido ma non fondato, e la conclusione è falsa

Risposta: $S$ = pinguini, $P$ = animali che sanno volare, $M$ = uccelli. Il ragionamento è valido (forma corretta), ma la premessa maggiore è falsa: quindi non è fondato e la sua conclusione è falsa.

Errori comuni

Dire che un ragionamento è valido perché la sua conclusione è vera

Perché è sbagliato: La validità dipende dalla forma, non dai fatti. "Tutte le rose sono fiori. Alcuni fiori appassiscono in fretta. Quindi alcune rose appassiscono in fretta." ha una conclusione credibile, ma la forma non è valida: i fiori che appassiscono in fretta potrebbero essere tutti tulipani.

Corretto: Sostituisci le parole con $S$ , $M$ , $P$ e verifica la forma con il diagramma di Venn. Solo dopo ti chiedi se le premesse sono vere.

Collegare due gruppi attraverso un termine medio che compare solo come "sono $M$ " (termine medio non distribuito)

Perché è sbagliato: Tutti gli $S$ sono $M$ e tutti i $P$ sono $M$ mettono $S$ e $P$ solo da qualche parte dentro $M$ . Possono trovarsi in parti di $M$ completamente diverse, come gatti e cani dentro i mammiferi.

Corretto: Il termine medio deve coprire tutto il suo gruppo almeno una volta: deve essere il soggetto di una proposizione con tutti o nessuno, oppure il predicato di una proposizione con nessuno o alcuni non.

Trarre una conclusione da due premesse con alcuni

Perché è sbagliato: Alcuni $S$ sono $M$ e alcuni $M$ sono $P$ possono riguardare elementi diversi di $M$ . Con $S = \{1, 2\}$ , $M = \{2, 3\}$ , $P = \{3, 4\}$ entrambe le premesse sono vere, ma nessun elemento di $S$ sta in $P$ .

Corretto: Almeno una premessa deve essere universale (tutti o nessuno). Due premesse particolari, o due premesse negative, non danno mai una conclusione.

Invertire una proposizione con tutti

Perché è sbagliato: Tutti i quadrati sono rettangoli non significa che tutti i rettangoli sono quadrati. Nel diagramma, tutti gli $S$ sono $P$ svuota solo la parte di $S$ fuori da $P$ ; la parte di $P$ fuori da $S$ può ancora avere elementi.

Corretto: Le proposizioni con nessuno e alcuni si possono invertire (nessun $S$ è $P$ significa nessun $P$ è $S$ ; alcuni $S$ sono $P$ significa alcuni $P$ sono $S$ ), quelle con tutti e alcuni non invece no.

Visuale interattivo

Diagramma di Venn

Premesse

ENon ci sono pesci che siano mammiferi
ATutti i squali sono pesci

= vuota (nessun elemento)x= almeno un elemento

Conclusione

E∴ Non ci sono squali che siano mammiferi

Tocca una regione per ombreggiarla (ombreggiata significa vuota).

Diagramma di Venn

Premesse

ATutti i quadrati sono parallelogrammi
ATutti i rettangoli sono parallelogrammi

= vuota (nessun elemento)x= almeno un elemento

Conclusione

A∴ Tutti i rettangoli sono quadrati

Tocca una regione per ombreggiarla (ombreggiata significa vuota).

Sandbox interattivo

Calcolatrice di espressioni

Prova questi:

Cronologia

Ancora nessun calcolo

Esercizi pratici

18 esercizi

Problema 1 di 18

Facile

Tutti i rettangoli sono parallelogrammi. Tutti i quadrati sono rettangoli. Quindi tutti i quadrati sono parallelogrammi. Qual è il termine medio?

Esercizi pratici: I sillogismi

1. Tutti i rettangoli sono parallelogrammi. Tutti i quadrati sono rettangoli. Quindi tutti i quadrati sono parallelogrammi. Qual è il termine medio?
2. Un diagramma di Venn ha tre cerchi che si sovrappongono, S, M e P. Quante regioni ha, contando la regione fuori da tutti e tre i cerchi?
3. Ricorda: A = tutti gli S sono P, E = nessun S è P, I = alcuni S sono P, O = alcuni S non sono P. Quale elenco dà, in ordine, i codici di queste quattro proposizioni? (1) Alcuni rettangoli non sono quadrati. (2) Tutti i quadrati sono rettangoli. (3) Alcuni rettangoli sono quadrati. (4) Nessun triangolo è un quadrato.
4. Tutti i 14 membri del club di scacchi sono anche nel club di matematica. Il club di matematica ha 25 membri. Quanti membri del club di matematica non sono nel club di scacchi?
5. Nessun numero primo maggiore di 2 è pari. Tutti i numeri dell'insieme T sono numeri primi maggiori di 2. Quale conclusione segue?
6. Tutti i multipli di 6 sono multipli di 3. Tutti i multipli di 12 sono multipli di 6. Quindi tutti i multipli di 12 sono multipli di 3. Individua il termine medio, poi segui il numero 60 (un multiplo di 12) lungo la catena. Quanto fa 60 ÷ 3?
7. Tutti i poeti sono sognatori. Alcuni sognatori sono ingegneri. Quindi alcuni poeti sono ingegneri. Come giudichi questo ragionamento?
8. Una classe ha 60 studenti. Nessun membro della squadra di nuoto è nella squadra di calcio. La squadra di nuoto ha 16 membri e quella di calcio 22. Quanti studenti non sono in nessuna delle due squadre?
9. Una classe ha 32 studenti. Tutti gli 8 membri del club di scacchi sono nel club di matematica, che ha 15 membri. Nessun membro del club di matematica è nel club di teatro, che ha 10 membri. Quanti studenti non sono in nessuno dei tre club?
10. Tutti i multipli di 4 sono pari. Tutti i multipli di 6 sono pari. Quindi tutti i multipli di 6 sono multipli di 4. Mostra con un controesempio che il ragionamento non è valido. Qual è il più piccolo multiplo positivo di 6 che non è multiplo di 4?
11. Tutti i multipli di 4 sono multipli di 8. 12 è un multiplo di 4. Quindi 12 è un multiplo di 8. Quale descrizione è corretta?
12. Un'orchestra ha 24 membri. Tutti i 9 studenti che suonano il violino sono nell'orchestra. 4 dei violinisti cantano nel coro, e altri 7 membri dell'orchestra cantano anche nel coro. Quanti membri dell'orchestra non cantano nel coro?
13. Verifica il sillogismo nessun M è P, alcuni S sono M, quindi alcuni S non sono P con il diagramma a 8 regioni (regione 4 = solo dentro S e M, regione 6 = solo dentro M e P, regione 7 = dentro tutti e tre). Qual è il codice della conclusione?
14. Nel diagramma di Venn a tre cerchi per S, M e P ombreggi le premesse tutti gli S sono M e nessun M è P. Quante delle 8 regioni sono ombreggiate in tutto?
15. Le proposizioni p → q e q → r sono vere, e r è falsa. Quale proposizione deve essere vera?
16. Premesse: se n è divisibile per 20, allora n è divisibile per 10. Se n è divisibile per 10, allora l'ultima cifra di n è 0. Se l'ultima cifra di n è 0, allora n è divisibile per 5. Il sillogismo ipotetico dà: se n è divisibile per 20, allora n è divisibile per 5. Verificalo con n = 140, poi mostra che l'inversa non segue. Qual è il più piccolo numero positivo divisibile per 5 ma non per 20?
17. Un club sportivo ha 70 soci, e 45 di loro nuotano. Tutti i 20 tennisti sono nuotatori. 12 tennisti corrono anche, 8 nuotatori che non giocano a tennis corrono, e 15 soci che non nuotano corrono. Quanti soci non nuotano e non corrono?
18. Mostra che alcuni S sono M, alcuni M sono P, quindi alcuni S sono P non è valido. Usa S = \{1, 2\}, M = \{2, 3\} e P = \{3, 4\}. Quanti elementi hanno in comune S e P?

Perché è importante

I sillogismi sono i mattoni più piccoli di ogni dimostrazione logica, e si nascondono in molti ragionamenti di tutti i giorni:

Dimostrazioni di geometria: ogni quadrato è un rettangolo e ogni rettangolo è un parallelogramma, quindi ogni quadrato è un parallelogramma. Le dimostrazioni lunghe sono catene di passaggi come questo.
Filtri di ricerca e database: se ogni articolo con l'etichetta impermeabile ha anche l'etichetta outdoor, una ricerca degli articoli outdoor contiene già tutti gli articoli impermeabili.
Regole e leggi: una regola (tutti i visitatori sotto i 12 anni devono essere accompagnati da un adulto) più un fatto (Mia è una visitatrice sotto i 12 anni) danno una conclusione su Mia.
Programmazione: se ogni oggetto Square è uno Shape, allora tutto ciò che puoi fare con uno Shape puoi farlo anche con uno Square.
Riconoscere i ragionamenti sbagliati: pubblicità e dibattiti usano spesso forme non valide come "tutti gli snack sani sono poveri di grassi, il nostro biscotto è povero di grassi, quindi il nostro biscotto è sano". Conoscere le forme ti fa vedere subito la falla.

Un diagramma di Venn trasforma una domanda sulle parole in una domanda sulle regioni ombreggiate, così puoi verificare un ragionamento invece di fidarti di come suona.

Applicazioni nel mondo reale

Club scolastici e sondaggi

Quando una scuola conta i membri dei club, proposizioni come "tutti i membri del club di robotica sono nel club di matematica" dicono quali regioni del diagramma di Venn sono vuote, così puoi contare senza contare nessuno due volte.

Esempio:

Nessun membro del club di teatro è nel club di matematica, e tutti i membri del club di robotica sono nel club di matematica. Per il sillogismo (nessun $M$ è $P$ , tutti gli $S$ sono $M$ ), nessun membro del club di robotica è nel club di teatro.

1Provaci tu stesso

Una classe ha $50$ studenti. Tutti i $12$ membri del club di robotica sono nel club di matematica, che ha $30$ membri. Nessun membro del club di teatro ( $9$ studenti) è nel club di matematica.

Quanti studenti non sono in nessuno dei tre club?

Passo 1: Scrivi l'espressione matematica

Scrivi il numero di studenti senza club come un'unica espressione:

Filtri di ricerca nei negozi online

Le categorie di un negozio formano gruppi dentro gruppi. Se ogni articolo impermeabile è anche un articolo outdoor, il filtro outdoor contiene già ogni articolo impermeabile: è il sillogismo tutti gli $S$ sono $M$, tutti gli $M$ sono $P$ all'opera.

Esempio:

Tutte le giacche antipioggia del negozio sono articoli impermeabili, e tutti gli articoli impermeabili sono articoli outdoor. Quindi tutte le giacche antipioggia compaiono nel filtro outdoor.

2Provaci tu stesso

Un negozio ha $120$ articoli outdoor. Tutti i $45$ articoli impermeabili sono articoli outdoor. $18$ articoli impermeabili sono in saldo, e $10$ articoli outdoor che non sono impermeabili sono in saldo.

Quanti articoli outdoor sono in saldo, e quanti articoli outdoor non sono né impermeabili né in saldo?

Passo 1: Scrivi l'espressione matematica

Scrivi il numero di articoli outdoor in saldo come addizione:

Filtri della posta e catene di regole

I programmi di posta elettronica seguono catene di regole se-allora. Il sillogismo ipotetico ($p \to q$, $q \to r$, quindi $p \to r$) ti dice dove finisce un messaggio senza seguire ogni regola una per una.

Esempio:

Se un'email contiene un link di un mittente sconosciuto, viene segnalata. Se un'email è segnalata, va in quarantena. Quindi ogni email con un link di un mittente sconosciuto va in quarantena.

3Provaci tu stesso

Una scuola riceve $200$ email in un giorno. $35$ contengono un link di un mittente sconosciuto, e ognuna di queste email viene segnalata. Altre $15$ email vengono segnalate per un allegato sospetto. Ogni email segnalata va in quarantena, e solo le email segnalate ci vanno.

Quante email arrivano nella posta in arrivo?

Passo 1: Scrivi l'espressione matematica

Scrivi il numero di email che arrivano nella posta in arrivo come un'unica espressione:

Punti chiave

1Un sillogismo ha due premesse e una conclusione; un sillogismo categorico usa tre termini: termine minore $S$ , termine maggiore $P$ e termine medio $M$
2I quattro tipi di proposizione sono A (tutti gli $S$ sono $P$ ), E (nessun $S$ è $P$ ), I (alcuni $S$ sono $P$ ) e O (alcuni $S$ non sono $P$ )
3Per verificare la validità ombreggia le regioni svuotate dalle premesse con tutti e nessuno, metti una x per le premesse con alcuni e controlla se il diagramma mostra già la conclusione
4Tutti gli $M$ sono $P$ , tutti gli $S$ sono $M$ , quindi tutti gli $S$ sono $P$ è valido; tutti gli $S$ sono $M$ , tutti i $P$ sono $M$ , quindi tutti gli $S$ sono $P$ non è valido (termine medio non distribuito)
5Valido significa che la conclusione deve essere vera se le premesse sono vere; fondato significa valido e con premesse vere
6Il sillogismo ipotetico (proprietà transitiva) collega proposizioni se-allora: da $p \to q$ e $q \to r$ segue $p \to r$

Domande frequenti

Sì, se almeno una premessa è falsa. "Tutti gli uccelli sanno volare, tutti i pinguini sono uccelli, quindi tutti i pinguini sanno volare" è valido ma ha una conclusione falsa. Ciò che è impossibile è un ragionamento valido con premesse vere e conclusione falsa.

Glossario

Sillogismo: Un ragionamento deduttivo con esattamente due premesse e una conclusione
Proposizione categorica: Una proposizione della forma tutti gli $S$ sono $P$ , nessun $S$ è $P$ , alcuni $S$ sono $P$ oppure alcuni $S$ non sono $P$
Termine medio: Il termine che compare in entrambe le premesse ma non nella conclusione; collega gli altri due termini
Premessa maggiore e minore: La premessa maggiore contiene il predicato $P$ della conclusione, la premessa minore contiene il suo soggetto $S$
Termine medio non distribuito: Una forma non valida in cui il termine medio non copre mai tutto il suo gruppo, per esempio tutti gli $S$ sono $M$ , tutti i $P$ sono $M$
Sillogismo ipotetico: La proprietà transitiva per le proposizioni se-allora: da $p \to q$ e $q \to r$ segue $p \to r$

Scheda formule

Forma valida classica

Tutti gli

M

sono

P

, tutti gli

S

sono

M

\Rightarrow

tutti gli

S

sono

P

Il termine medio collega i due gruppi come una catena

Forma valida con nessuno

Nessun

M

P

, tutti gli

S

sono

M

\Rightarrow

nessun

S

P

Se $S$ sta dentro $M$ e $M$ non ha nulla in comune con $P$, allora anche $S$ non ha nulla in comune con $P$

Forma valida con alcuni

Tutti gli

M

sono

P

, alcuni

S

sono

M

\Rightarrow

alcuni

S

sono

P

La x di alcuni viene spinta nella regione che sta in $S$, $M$ e $P$

Termine medio non distribuito (non valido)

Tutti gli

S

sono

M

, tutti i

P

sono

M

\not\Rightarrow

tutti gli

S

sono

P

Stare nello stesso gruppo grande non collega due gruppi più piccoli

Sillogismo ipotetico

p \to q,\ q \to r \Rightarrow p \to r

Catene di proposizioni se-allora; con la contronominale anche $\neg r \to \neg p$

Altro su questo argomento

Definizione

Esempi svolti

Errori comuni

Visuale interattivo

Diagramma di Venn

Diagramma di Venn

Sandbox interattivo

Calcolatrice di espressioni

Cronologia

Esercizi pratici

Perché è importante

Applicazioni nel mondo reale

Club scolastici e sondaggi

Filtri di ricerca nei negozi online

Filtri della posta e catene di regole

Punti chiave

Domande frequenti

Glossario

Scheda formule

Forma valida classica

Forma valida con nessuno

Forma valida con alcuni

Termine medio non distribuito (non valido)

Sillogismo ipotetico

Altro su questo argomento

Introduzione al ragionamento logico

Il ragionamento deduttivo

Enunciati se... allora

Inversa e contraria