Insiemistica e logica proposizionale nei concorsi

Le domande di insiemistica e relazioni logiche testano la capacità di ragionare con condizioni, negazioni, operatori logici e relazioni tra insiemi. Sono una delle tipologie di ragionamento logico più temute dai candidati, ma una volta compresi pochi concetti chiave diventano tra le più prevedibili.

Queste domande compaiono regolarmente nei concorsi RIPAM, nei ministeriali e in qualsiasi concorso che preveda quiz di logica nella prova scritta.

I 6 concetti fondamentali

1. Condizione sufficiente

Definizione: P è condizione sufficiente per Q se da P segue necessariamente Q. In simboli: P → Q.

📝 "Essere medico" è condizione sufficiente per "essere laureato". Se sei medico, sei laureato per forza.

⚠️ Ma NON viceversa: essere laureato non basta per essere medico. La condizione sufficiente non è necessariamente necessaria.

2. Condizione necessaria

Definizione: Q è condizione necessaria per P se P non può verificarsi senza Q. In simboli: P → Q (Q è necessaria per P).

📝 "Avere la laurea" è condizione necessaria per "essere medico". Non puoi essere medico senza laurea.

⚠️ Ma avere la laurea non basta per essere medico: serve anche la specializzazione. Necessario ≠ sufficiente.

3. Condizione necessaria E sufficiente

Definizione: P e Q sono equivalenti: P si verifica se e solo se Q si verifica. In simboli: P ↔ Q.

📝 "Essere un triangolo" è condizione necessaria e sufficiente per "essere un poligono con 3 lati". Sono la stessa cosa.

⚠️ È relativamente rara nei quiz. Se la domanda usa "se e solo se" o "è equivalente a", stai cercando questa relazione.

4. Negazione logica (NOT)

Definizione: La negazione di una proposizione P è vera quando P è falsa, e viceversa. Si indica con ¬P.

📝 La negazione di "Tutti gli studenti sono promossi" è "Almeno uno studente non è promosso" (NON "nessuno studente è promosso").

⚠️ Errore classico: la negazione di "tutti" non è "nessuno", ma "non tutti" (cioè almeno uno no).

5. Congiunzione (AND)

Definizione: P AND Q è vera solo quando ENTRAMBE P e Q sono vere.

📝 "È laureato AND ha superato il concorso" → vera solo se ha sia la laurea sia superato il concorso.

⚠️ La negazione di "P AND Q" è "¬P OR ¬Q" (legge di De Morgan). Basta che UNA delle due condizioni sia falsa.

6. Disgiunzione (OR)

Definizione: P OR Q è vera quando ALMENO UNA tra P e Q è vera (anche entrambe).

📝 "Ha il diploma OR ha 5 anni di esperienza" → vera se ha il diploma, o l'esperienza, o entrambi.

⚠️ In logica il "o" è inclusivo (include il caso "entrambi"). Il "o" esclusivo (aut-aut) è raro nei quiz.

Le regole della negazione

Le negazione logiche sono tra gli argomenti più frequenti nei quiz. Questa tabella riassume le regole essenziali:

Affermazione	Negazione corretta	Negazione SBAGLIATA
Tutti gli A sono B	Almeno un A non è B	Nessun A è B
Nessun A è B	Almeno un A è B	Tutti gli A sono B
Almeno un A è B	Nessun A è B	Non tutti gli A sono B
P AND Q	¬P OR ¬Q	¬P AND ¬Q
P OR Q	¬P AND ¬Q	¬P OR ¬Q
Se P allora Q	P AND ¬Q	Se ¬P allora ¬Q

10 quiz interattivi di insiemistica e logica formale

L'insiemistica e la logica formale compaiono regolarmente nei quiz dei concorsi pubblici italiani, soprattutto nelle prove preselettive RIPAM e ministeriali. Le domande testano la capacità di ragionare su insiemi, intersezioni, condizioni necessarie e sufficienti, negazioni logiche e leggi di De Morgan. Si tratta di quesiti che sembrano astratti ma che, con il metodo giusto, diventano meccanici e risolvibili in pochi secondi.

I 10 quiz interattivi che seguono coprono i concetti fondamentali: appartenenza, intersezione, unione, condizioni necessarie/sufficienti e negazione con le leggi di De Morgan. Clicca sulla risposta e verifica subito se è corretta, con la spiegazione del ragionamento passo per passo.

Contropositiva

"Se piove, la strada è bagnata." Quale affermazione è logicamente equivalente?