InnoviCatInnoviCat Skills

Deduzione Logica

Inizia a Esercitarti Vedi Domande di Esempio →

I test di deduzione logica misurano la capacità di trarre conclusioni valide da affermazioni date. Ti verranno presentate delle premesse (fatti assunti come veri) e dovrai determinare cosa si può concludere logicamente.

Questi test valutano il pensiero critico, la capacità di identificare argomenti validi e l'abilità nell'evitare fallacie logiche — essenziale per ruoli legali, analitici e strategici. I nostri sillogismi generati proceduralmente utilizzano una ricca tassonomia di categorie e relazioni, garantendo che non vedrai mai la stessa domanda due volte e offrendo pratica illimitata e unica.

Tutte le domande vengono generate localmente nel tuo browser. I tuoi progressi e le tue risposte vengono salvati solo sul tuo dispositivo — non raccogliamo mai dati personali.

Modelli e Formati Chiave

Sillogismo Barbara

Il sillogismo valido più fondamentale: Tutti gli A sono B, Tutti i B sono C, quindi Tutti gli A sono C.

All M are P, All S are M ⊢ All S are P

Sillogismo Celarent

Un sillogismo valido con conclusione negativa: Nessun A è B, Tutti i C sono A, quindi Nessun C è B.

No M are P, All S are M ⊢ No S are P

Sillogismo Darii

Un sillogismo valido con conclusione particolare: Tutti gli A sono B, Alcuni C sono A, quindi Alcuni C sono B.

All M are P, Some S are M ⊢ Some S are P

Sillogismo Ferio

Un sillogismo valido: Nessun A è B, Alcuni C sono A, quindi Alcuni C non sono B.

No M are P, Some S are M ⊢ Some S are not P

Modus Ponens

Il 'modo affermante': Se P allora Q, P è vero, quindi Q è vero.

P → Q, P ⊢ Q

Modus Tollens

Il 'modo negante': Se P allora Q, Q è falso, quindi P è falso.

P → Q, ¬Q ⊢ ¬P

Sillogismo Ipotetico

Ragionamento a catena: Se A allora B, Se B allora C, quindi Se A allora C.

P → Q, Q → R ⊢ P → R

Sillogismo Disgiuntivo

Ragionamento 'o/o': O A o B, non A, quindi B.

P ∨ Q, ¬P ⊢ Q

Contropositivo

Equivalenza logica: 'Se A allora B' è equivalente a 'Se non B allora non A'.

P → Q ≡ ¬Q → ¬P

Relazione Transitiva

Se A > B e B > C, allora A > C. Si applica alle relazioni d'ordine.

R(a,b) ∧ R(b,c) → R(a,c)

Bicondizionale

'A se e solo se B' significa che A e B sono entrambi veri o entrambi falsi.

P ↔ Q ≡ (P → Q) ∧ (Q → P)

Strategie di Risoluzione

  • Look for two premises that both use 'All' (universal affirmatives)
  • The middle term appears as subject in one premise and predicate in another
  • The conclusion links the two end terms with 'All'
  • One premise uses 'No' (universal negative) and one uses 'All' (universal affirmative)
  • The conclusion is always 'No' (universal negative)
  • The middle term connects the chain through negation
  • Major premise uses 'All' (universal affirmative)
  • Minor premise uses 'Some' (particular affirmative)

Errori Comuni

  • Confusing Barbara with invalid forms like 'All A are B, All C are B, therefore All A are C' (undistributed middle)
  • Reversing the chain direction
  • Confusing the direction: 'No A are B' is not the same as 'No B are A' in context
  • Missing that both terms in the conclusion inherit the negative relationship
  • Over-generalizing: concluding 'All' when only 'Some' is warranted
  • Confusing with invalid forms where the middle term is not distributed

Domande Frequenti

Un sillogismo è un argomento logico con due premesse e una conclusione. Esempio classico: 'Tutti gli uomini sono mortali. Socrate è un uomo. Quindi, Socrate è mortale.' La conclusione deve seguire necessariamente dalle premesse.
Un argomento valido significa che la conclusione segue logicamente dalle premesse — se le premesse sono vere, la conclusione deve essere vera. Ma le premesse stesse potrebbero essere false. 'Tutti i pesci possono volare. Il salmone è un pesce. Quindi il salmone può volare' è valido ma non vero.
Impara le fallacie comuni per evitarle. Fai attenzione a parole come 'tutti', 'alcuni', 'nessuno', 'se...allora'. Ricorda: puoi concludere solo ciò che DEVE essere vero, non ciò che POTREBBE essere vero. Esercitati a rappresentare le premesse con diagrammi di Venn.
Ogni sillogismo viene generato proceduralmente utilizzando una ricca tassonomia di quasi 1.000 catene di categorie. Il sistema seleziona i termini, applica forme logiche valide (Barbara, Celarent, Darii e altre) e genera distrattori che contengono specifiche fallacie logiche. Il filtraggio della sovrapposizione delle radici garantisce che le premesse suonino sempre naturali. Questo fornisce domande di pratica uniche e illimitate.

Fonti e Riferimenti

Sillogismo Barbara

Barbara Syllogism
Tutti i mammiferi sono animali. Tutti i cani sono mammiferi. Cosa possiamo concludere?
  1. 1
    Identifica le premesse: 'Tutti i mammiferi sono animali' e 'Tutti i cani sono mammiferi'Two premises
  2. 2
    Trova il termine medio: 'mammiferi'Middle term: mammals
  3. 3
    Concatena: Cani → Mammiferi → AnimaliDogs → Animals
  4. 4
    Concludi con affermazione universale: Tutti i cani sono animaliAll S are P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Sillogismo Celarent

Sillogismo Celarent
No M are P, All S are M ⊢ No S are P
No reptiles are mammals. All snakes are reptiles. Therefore, no snakes are mammals.
No even numbers are odd. All multiples of 4 are even. Therefore, no multiples of 4 are odd.
No fish can breathe air. All salmon are fish. Therefore, no salmon can breathe air.
Nessun rettile è un mammifero. Tutti i serpenti sono rettili. Cosa possiamo concludere?
  1. 1
    Identifica la premessa negativa: 'Nessun rettile è un mammifero'No M are P
  2. 2
    Identifica la premessa affermativa: 'Tutti i serpenti sono rettili'All S are M
  3. 3
    I serpenti sono rettili, e i rettili sono esclusi dai mammiferi...Chain through middle term
  4. 4
    Concludi con negazione universale: Nessun serpente è un mammiferoNo S are P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Sillogismo Darii

Sillogismo Darii
All M are P, Some S are M ⊢ Some S are P
All birds can fly. Some pets are birds. Therefore, some pets can fly.
All prime numbers greater than 2 are odd. Some integers are prime numbers greater than 2. Therefore, some integers are odd.
All doctors have medical degrees. Some volunteers are doctors. Therefore, some volunteers have medical degrees.
Tutti i medici hanno lauree in medicina. Alcuni volontari sono medici. Cosa possiamo concludere?
  1. 1
    Identifica la premessa universale: 'Tutti i medici hanno lauree in medicina'All M are P
  2. 2
    Identifica la premessa particolare: 'Alcuni volontari sono medici'Some S are M
  3. 3
    I volontari che sono medici devono avere lauree in medicinaPartial overlap
  4. 4
    Concludi con 'Alcuni': Alcuni volontari hanno lauree in medicinaSome S are P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Sillogismo Ferio

Sillogismo Ferio
No M are P, Some S are M ⊢ Some S are not P
No reptiles are warm-blooded. Some pets are reptiles. Therefore, some pets are not warm-blooded.
No vegetables contain cholesterol. Some foods I eat are vegetables. Therefore, some foods I eat do not contain cholesterol.
No beginners pass the advanced test. Some students are beginners. Therefore, some students do not pass the advanced test.
Nessun rettile è a sangue caldo. Alcuni animali domestici sono rettili. Cosa possiamo concludere?
  1. 1
    Identifica la negazione universale: 'Nessun rettile è a sangue caldo'No M are P
  2. 2
    Identifica l'affermazione particolare: 'Alcuni animali domestici sono rettili'Some S are M
  3. 3
    Gli animali che sono rettili non possono essere a sangue caldoPartial exclusion
  4. 4
    Concludi: Alcuni animali domestici non sono a sangue caldoSome S are not P
Refs:Aristotle, Prior Analytics, Book I, Chapter 4Smith, Robin. 'Aristotle's Logic', Stanford Encyclopedia of Philosophy

Modus Ponens

Modus Ponens
P → Q, P ⊢ Q
If it is raining, then the ground is wet. It is raining. Therefore, the ground is wet.
If you study hard, you will pass the exam. You study hard. Therefore, you will pass the exam.
If a number is divisible by 4, it is divisible by 2. 16 is divisible by 4. Therefore, 16 is divisible by 2.
Se piove, il terreno è bagnato. Sta piovendo. Cosa possiamo concludere?
  1. 1
    Identifica il condizionale: 'Se piove, il terreno è bagnato'P → Q
  2. 2
    Verifica l'antecedente: 'Sta piovendo' = SÌP is true
  3. 3
    Applica Modus Ponens: P è vero, quindi Q deve essere veroP → Q, P ⊢ Q
  4. 4
    Concludi: Il terreno è bagnatoQ is true
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Modus Tollens

Modus Tollens
P → Q, ¬Q ⊢ ¬P
If it is raining, the ground is wet. The ground is not wet. Therefore, it is not raining.
If the battery is charged, the phone will turn on. The phone does not turn on. Therefore, the battery is not charged.
If a number is prime and greater than 2, it is odd. 8 is not odd. Therefore, 8 is not a prime number greater than 2.
Se la batteria è carica, il telefono si accende. Il telefono non si accende. Cosa concludiamo?
  1. 1
    Identifica il condizionale: 'Se batteria carica, telefono si accende'P → Q
  2. 2
    Verifica il conseguente: 'Telefono non si accende' = Q è falso¬Q
  3. 3
    Applica Modus Tollens: se Q è falso, P deve essere falsoP → Q, ¬Q ⊢ ¬P
  4. 4
    Concludi: La batteria non è carica¬P
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Sillogismo Ipotetico

Sillogismo Ipotetico
P → Q, Q → R ⊢ P → R
If it rains, the streets get wet. If the streets get wet, traffic slows down. Therefore, if it rains, traffic slows down.
If you exercise regularly, you build stamina. If you build stamina, you can run longer. Therefore, if you exercise regularly, you can run longer.
If a shape is a square, it is a rectangle. If a shape is a rectangle, it is a quadrilateral. Therefore, if a shape is a square, it is a quadrilateral.
Se piove, le strade si bagnano. Se le strade sono bagnate, il traffico rallenta. Cosa concludiamo?
  1. 1
    Identifica il primo condizionale: 'Se pioggia → strade bagnate'P → Q
  2. 2
    Identifica il secondo condizionale: 'Se strade bagnate → traffico rallenta'Q → R
  3. 3
    Il conseguente del primo (Q) corrisponde all'antecedente del secondoChain link: Q
  4. 4
    Combina: Se piove, il traffico rallentaP → R
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Sillogismo Disgiuntivo

Sillogismo Disgiuntivo
P ∨ Q, ¬P ⊢ Q
Either the package was delivered or it was lost. It was not delivered. Therefore, it was lost.
Either the answer is 42 or 56. The answer is not 42. Therefore, the answer is 56.
Either John took the bus or he walked. John did not take the bus. Therefore, John walked.
La risposta è 42 o 56. La risposta non è 42. Cosa concludiamo?
  1. 1
    Identifica la disgiunzione: 'O 42 o 56'P ∨ Q
  2. 2
    Un'opzione è esclusa: 'Non 42'¬P
  3. 3
    Applica Sillogismo Disgiuntivo: se P è falso, Q deve essere veroP ∨ Q, ¬P ⊢ Q
  4. 4
    Concludi: La risposta è 56Q
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Contropositivo

Contropositivo
P → Q ≡ ¬Q → ¬P
'If it is a dog, then it is an animal' is equivalent to 'If it is not an animal, then it is not a dog'
'If n² is even, then n is even' is equivalent to 'If n is odd, then n² is odd'
'If you pass the exam, you studied' is equivalent to 'If you did not study, you did not pass the exam'
Trova il contropositivo di: 'Se è un cane, allora è un animale'
  1. 1
    Identifica l'originale: 'Se cane → animale'P → Q
  2. 2
    Nega entrambe le parti: 'non cane' e 'non animale'¬P and ¬Q
  3. 3
    Scambia le posizioni: 'Se non animale → non cane'¬Q → ¬P
  4. 4
    Enuncia il contropositivo: 'Se non è un animale, allora non è un cane'Equivalent statement
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy

Relazione Transitiva

Relazione Transitiva
R(a,b) ∧ R(b,c) → R(a,c)
Alice is taller than Bob. Bob is taller than Carol. Therefore, Alice is taller than Carol.
5 > 3 and 3 > 1, therefore 5 > 1.
New York is larger than Chicago. Chicago is larger than Houston. Therefore, New York is larger than Houston.
Alice è più alta di Bob. Bob è più alto di Carol. Chi è il più alto?
  1. 1
    Identifica il primo confronto: Alice > Bob (altezza)A > B
  2. 2
    Identifica il secondo confronto: Bob > Carol (altezza)B > C
  3. 3
    Trova l'elemento comune: Bob appare in entrambiMiddle term: B
  4. 4
    Applica la transitività: Alice > Bob > Carol, quindi Alice > CarolA > C
Refs:Mendelson, Elliott. 'Mathematical Logic', in various logic textbooks

Bicondizionale

Bicondizionale
P ↔ Q ≡ (P → Q) ∧ (Q → P)
A triangle is equilateral if and only if all its angles are 60°. (Having equal sides is both necessary and sufficient for having 60° angles)
A number is even if and only if it is divisible by 2.
You will pass the course if and only if you score above 70%. (Scoring above 70% guarantees passing, and passing requires scoring above 70%)
Un numero è pari se e solo se è divisibile per 2. 8 è pari?
  1. 1
    Identifica il bicondizionale: Pari ↔ Divisibile per 2P ↔ Q
  2. 2
    Significa: Pari → Divisibile per 2 E Divisibile per 2 → PariBoth directions
  3. 3
    Verifica: 8 è divisibile per 2? Sì (8 ÷ 2 = 4)Q is true
  4. 4
    Divisibile per 2 → pari, e 8 è divisibile per 2, quindi 8 è pariP is true
Refs:Klement, Kevin. 'Propositional Logic', Internet Encyclopedia of Philosophy