Barbara is the first and most fundamental of the valid categorical syllogisms identified by Aristotle. It belongs to the first figure and uses universal affirmative (A) propositions in all three positions. The name 'Barbara' comes from medieval mnemonic devices where the three 'a' vowels indicate that all three propositions are universal affirmatives.

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

All mammals are animals. All dogs are mammals. Therefore, all dogs are animals.
All squares are rectangles. All rectangles are polygons. Therefore, all squares are polygons.
All physicians are college graduates. All surgeons are physicians. Therefore, all surgeons are college graduates.

Come riconoscerlo

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'

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

Soluzione passo per passo

Tutti i mammiferi sono animali. Tutti i cani sono mammiferi. Cosa possiamo concludere?

Identifica le premesse: 'Tutti i mammiferi sono animali' e 'Tutti i cani sono mammiferi'
Trova il termine medio: 'mammiferi'
Concatena: Cani → Mammiferi → Animali
Concludi con affermazione universale: Tutti i cani sono animali

Risposta: All dogs are animals

Impara 2

Sillogismo Celarent

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

Celarent is the second of the 'perfect' syllogisms in Aristotle's first figure. It combines a universal negative (E) premise with a universal affirmative (A) premise to derive a universal negative conclusion. The name 'Celarent' uses vowels E-A-E to indicate the proposition types: universal negative, universal affirmative, universal negative.

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.

Come riconoscerlo

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

Errori comuni

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

Soluzione passo per passo

Nessun rettile è un mammifero. Tutti i serpenti sono rettili. Cosa possiamo concludere?

Identifica la premessa negativa: 'Nessun rettile è un mammifero'
Identifica la premessa affermativa: 'Tutti i serpenti sono rettili'
I serpenti sono rettili, e i rettili sono esclusi dai mammiferi...
Concludi con negazione universale: Nessun serpente è un mammifero

Risposta: No snakes are mammals

Impara 3

Sillogismo Darii

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

Darii is a first-figure syllogism that derives a particular affirmative (I) conclusion from a universal affirmative (A) major premise and a particular affirmative (I) minor premise. The name 'Darii' uses vowels A-I-I. Unlike Barbara, Darii only claims that 'some' members of a category have a property, making it useful when we know partial overlap rather than complete inclusion.

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.

Come riconoscerlo

Major premise uses 'All' (universal affirmative)
Minor premise uses 'Some' (particular affirmative)
Conclusion uses 'Some' - you cannot conclude 'All' from partial evidence

Errori comuni

Over-generalizing: concluding 'All' when only 'Some' is warranted
Confusing with invalid forms where the middle term is not distributed

Soluzione passo per passo

Tutti i medici hanno lauree in medicina. Alcuni volontari sono medici. Cosa possiamo concludere?

Identifica la premessa universale: 'Tutti i medici hanno lauree in medicina'
Identifica la premessa particolare: 'Alcuni volontari sono medici'
I volontari che sono medici devono avere lauree in medicina
Concludi con 'Alcuni': Alcuni volontari hanno lauree in medicina

Risposta: Some volunteers have medical degrees

Impara 4

Sillogismo Ferio

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

Ferio is the fourth 'perfect' syllogism of the first figure. It combines a universal negative (E) major premise with a particular affirmative (I) minor premise to derive a particular negative (O) conclusion. The name 'Ferio' uses vowels E-I-O to indicate proposition types. It allows us to conclude that some members of a category lack a property based on their membership in an excluded class.

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.

Come riconoscerlo

Major premise uses 'No' (universal negative)
Minor premise uses 'Some' (particular affirmative)
Conclusion uses 'Some...not' (particular negative)

Errori comuni

Concluding 'No C are B' instead of 'Some C are not B' - over-generalizing from partial evidence
Misreading 'Some C are not B' as 'Some C are B' (opposite meaning)

Soluzione passo per passo

Nessun rettile è a sangue caldo. Alcuni animali domestici sono rettili. Cosa possiamo concludere?

Identifica la negazione universale: 'Nessun rettile è a sangue caldo'
Identifica l'affermazione particolare: 'Alcuni animali domestici sono rettili'
Gli animali che sono rettili non possono essere a sangue caldo
Concludi: Alcuni animali domestici non sono a sangue caldo

Risposta: Some pets are not warm-blooded

Impara 5

Modus Ponens

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

Modus Ponens (Latin for 'mode that affirms') is one of the most fundamental rules of inference in propositional logic. Given a conditional statement 'If P then Q' and the truth of the antecedent P, we can validly conclude Q. This rule is also called 'affirming the antecedent' and forms the basis of much deductive reasoning.

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.

Come riconoscerlo

Look for an 'If...then...' statement (conditional)
Check if the 'if' part (antecedent) is affirmed as true
The conclusion will be the 'then' part (consequent)

Errori comuni

Affirming the consequent (invalid): 'If P then Q, Q is true, therefore P is true' - this does NOT follow
Example of the fallacy: 'If it rains, the ground is wet. The ground is wet. Therefore it rained.' (Wrong! Sprinklers could cause wet ground)

Soluzione passo per passo

Se piove, il terreno è bagnato. Sta piovendo. Cosa possiamo concludere?

Identifica il condizionale: 'Se piove, il terreno è bagnato'
Verifica l'antecedente: 'Sta piovendo' = SÌ
Applica Modus Ponens: P è vero, quindi Q deve essere vero
Concludi: Il terreno è bagnato

Risposta: The ground is wet

Impara 6

Modus Tollens

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

Modus Tollens (Latin for 'mode that denies') is a fundamental rule of inference that works by denying the consequent. Given a conditional 'If P then Q' and knowing that Q is false, we can validly conclude that P must also be false. This rule is logically equivalent to Modus Ponens applied to the contrapositive.

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.

Come riconoscerlo

Look for an 'If...then...' statement (conditional)
Check if the 'then' part (consequent) is denied/negated
The conclusion negates the 'if' part (antecedent)

Errori comuni

Denying the antecedent (invalid): 'If P then Q, P is false, therefore Q is false' - this does NOT follow
Example of the fallacy: 'If it rains, the ground is wet. It is not raining. Therefore the ground is not wet.' (Wrong! Sprinklers could still make it wet)

Soluzione passo per passo

Se la batteria è carica, il telefono si accende. Il telefono non si accende. Cosa concludiamo?

Identifica il condizionale: 'Se batteria carica, telefono si accende'
Verifica il conseguente: 'Telefono non si accende' = Q è falso
Applica Modus Tollens: se Q è falso, P deve essere falso
Concludi: La batteria non è carica

Risposta: The battery is not charged

Impara 7

Sillogismo Ipotetico

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

Hypothetical Syllogism (also called Chain Reasoning or Hypothetical Chain) allows us to link conditional statements together. If we know that A implies B, and B implies C, we can conclude that A implies C. This rule is essential for building chains of reasoning and is widely used in mathematical proofs and everyday logic.

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.

Come riconoscerlo

Look for two 'If...then...' statements (conditionals)
The consequent of the first should match the antecedent of the second
The conclusion links the first antecedent to the last consequent

Errori comuni

Reversing the chain: 'If A then B, If C then B' does NOT give 'If A then C'
The middle terms must match exactly for the chain to be valid

Soluzione passo per passo

Se piove, le strade si bagnano. Se le strade sono bagnate, il traffico rallenta. Cosa concludiamo?

Identifica il primo condizionale: 'Se pioggia → strade bagnate'
Identifica il secondo condizionale: 'Se strade bagnate → traffico rallenta'
Il conseguente del primo (Q) corrisponde all'antecedente del secondo
Combina: Se piove, il traffico rallenta

Risposta: If it rains, traffic slows

Impara 8

Sillogismo Disgiuntivo

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

Disjunctive Syllogism is a rule of inference that eliminates alternatives. Given that 'Either A or B' is true (at least one must hold), and knowing that A is false, we can conclude that B must be true. This is also called 'process of elimination' and is fundamental to decision-making and proof by cases.

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.

Come riconoscerlo

Look for an 'Either...or...' statement (disjunction)
One of the options is ruled out (negated)
The conclusion affirms the remaining option

Errori comuni

Assuming 'Either A or B' means exactly one is true (exclusive or). In logic, 'or' typically allows both to be true
Affirming one disjunct does not eliminate the other: 'Either A or B, A is true' does NOT mean B is false

Soluzione passo per passo

La risposta è 42 o 56. La risposta non è 42. Cosa concludiamo?

Identifica la disgiunzione: 'O 42 o 56'
Un'opzione è esclusa: 'Non 42'
Applica Sillogismo Disgiuntivo: se P è falso, Q deve essere vero
Concludi: La risposta è 56

Risposta: The answer is 56

Impara 9

Contropositivo

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

The Contrapositive is a logically equivalent form of a conditional statement. For any conditional 'If A then B', its contrapositive 'If not B then not A' has exactly the same truth value. This equivalence is fundamental in mathematics, particularly in proof by contrapositive, where proving the contrapositive is often easier than proving the original statement directly.

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'

Come riconoscerlo

Start with an 'If A then B' statement
Negate both parts: A becomes 'not A', B becomes 'not B'
Swap their positions: 'If not B then not A'

Errori comuni

Confusing contrapositive with converse: 'If B then A' is the converse, NOT equivalent to the original
Confusing contrapositive with inverse: 'If not A then not B' is the inverse, NOT equivalent to the original
Only the contrapositive preserves logical equivalence

Soluzione passo per passo

Trova il contropositivo di: 'Se è un cane, allora è un animale'

Identifica l'originale: 'Se cane → animale'
Nega entrambe le parti: 'non cane' e 'non animale'
Scambia le posizioni: 'Se non animale → non cane'
Enuncia il contropositivo: 'Se non è un animale, allora non è un cane'

Risposta: If it is not an animal, then it is not a dog

Impara 10

Relazione Transitiva

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

A transitive relation is one where if the relation holds between A and B, and between B and C, then it must hold between A and C. Common transitive relations include 'greater than', 'less than', 'older than', 'taller than', 'ancestor of', and 'implies'. Recognizing transitivity allows us to chain comparisons and orderings together.

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.
Iron is heavier than aluminum. Aluminum is heavier than plastic. Therefore, iron is heavier than plastic.

Come riconoscerlo

Look for comparative statements using the same relation (taller than, faster than, older than, etc.)
Check if there's a 'middle' element that appears in both comparisons
The conclusion compares the 'outer' elements using the same relation

Errori comuni

Not all relations are transitive. 'Is a friend of' is NOT transitive (A's friend's friend may not be A's friend)
'Is next to' is NOT transitive (if A is next to B, and B is next to C, A may not be next to C)
Applying transitivity to non-transitive relations leads to invalid conclusions

Soluzione passo per passo

Alice è più alta di Bob. Bob è più alto di Carol. Chi è il più alto?

Identifica il primo confronto: Alice > Bob (altezza)
Identifica il secondo confronto: Bob > Carol (altezza)
Trova l'elemento comune: Bob appare in entrambi
Applica la transitività: Alice > Bob > Carol, quindi Alice > Carol

Risposta: Alice is tallest

Impara 11

Bicondizionale

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

A biconditional statement 'A if and only if B' (often written as 'A iff B') asserts that A and B have the same truth value: they are both true or both false. This is equivalent to saying both 'If A then B' AND 'If B then A'. Biconditionals express necessary and sufficient conditions and are common in definitions and equivalences.

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%)

Come riconoscerlo

Look for 'if and only if', 'iff', 'exactly when', or 'is equivalent to'
The relationship works in both directions
Knowing either part tells you the truth of the other

Errori comuni

Confusing 'if' with 'if and only if': 'If A then B' does NOT mean 'If B then A'
Biconditional requires BOTH directions to hold
'A only if B' means 'If A then B', NOT biconditional

Soluzione passo per passo

Un numero è pari se e solo se è divisibile per 2. 8 è pari?

Identifica il bicondizionale: Pari ↔ Divisibile per 2
Significa: Pari → Divisibile per 2 E Divisibile per 2 → Pari
Verifica: 8 è divisibile per 2? Sì (8 ÷ 2 = 4)
Divisibile per 2 → pari, e 8 è divisibile per 2, quindi 8 è pari

Risposta: Yes, 8 is even

Impara 12

Disposizione dei Posti

Determinare le posizioni di persone in una fila in base a vincoli come adiacenza, ordine relativo e posizioni fisse.

I puzzle di disposizione dei posti richiedono di determinare le posizioni di persone in una sequenza lineare basandosi su un insieme di vincoli. I vincoli possono includere posizionamento relativo, adiacenza, non adiacenza, posizioni alle estremita e posizioni fisse. L'obiettivo e trovare la disposizione che soddisfi tutti i vincoli contemporaneamente.

Dati N elementi e vincoli C1, C2, ..., Ck: trovare la permutazione P che soddisfi tutti i Ci

3 persone siedono in fila. Alice siede a sinistra di Bruno. Chiara siede a un'estremita. Chi siede al centro?
4 persone siedono in fila. Davide non siede accanto a Elena. Fabio siede nella posizione 1.
5 persone siedono in fila. Alice e a un'estremita. Bruno e a sinistra di Chiara. Davide non e accanto a Elena.

Come riconoscerlo

Iniziare con i vincoli piu restrittivi (posizioni fisse, estremita)
Usare l'eliminazione per ridurre le possibilita
Disegnare un diagramma: numerare le posizioni e compilare cio che si sa
Testare le disposizioni rimanenti contro tutti i vincoli
In caso di blocco, assumere una posizione e verificare le contraddizioni

Errori comuni

Dimenticare che 'a sinistra di' significa ovunque a sinistra, non necessariamente adiacente
Confondere 'accanto a' con 'a sinistra/destra di'
Non verificare tutti i vincoli contro la disposizione finale

Soluzione passo per passo

3 persone siedono in fila (posizioni 1-3). Alice siede a sinistra di Bruno. Chiara siede a un'estremita. Bruno siede nella posizione 2. Chi siede nella posizione 1?

Bruno e nella posizione 2 (dato)
Alice e a sinistra di Bruno, quindi Alice e nella posizione 1
Chiara e a un'estremita. La posizione 1 e occupata, quindi Chiara e nella 3
Disposizione finale: Alice (1), Bruno (2), Chiara (3)

Risposta: Alice

Impara 13

Assegnazione a Gruppi

Assegnare elementi o persone a gruppi con vincoli di stesso team, team diverso e gruppo fisso.

I puzzle di assegnazione a gruppi richiedono di distribuire elementi o persone in un numero fisso di gruppi di dimensioni specificate. I vincoli dettano quali elementi devono o non devono stare insieme. I tipi comuni includono: stesso gruppo, gruppo diverso e gruppo fisso.

Partizionare N elementi in k gruppi di dimensioni s1, s2, ..., sk soggetti a vincoli C1, C2, ..., Cm

Assegnare 4 persone a 2 squadre di 2. Alice e Bruno devono essere nella stessa squadra. Chiara e Davide non possono stare insieme.
Assegnare 6 persone a 3 squadre di 2. Alice e nella Squadra 1. Bruno e Chiara devono stare insieme.
Assegnare 6 persone a 2 squadre di 3. Alice e Bruno non possono stare insieme. Chiara e nella Squadra A.

Come riconoscerlo

Iniziare con i vincoli di gruppo fisso per ancorare le assegnazioni note
Applicare i vincoli di stesso gruppo per accoppiare elementi
Usare i vincoli di gruppo diverso per eliminare accoppiamenti impossibili
Verificare i limiti di dimensione del gruppo dopo ogni assegnazione
Usare l'eliminazione per i posti rimanenti

Errori comuni

Superare i limiti di dimensione del gruppo applicando vincoli di stesso gruppo
Dimenticare che i vincoli di gruppo diverso sono bidirezionali
Non considerare gli effetti a cascata

Soluzione passo per passo

Assegna 4 persone a 2 squadre di 2. Alice e Bruno devono stare insieme. Chiara e nella Squadra 1. Davide e Chiara non possono stare insieme.

Chiara e nella Squadra 1 (dato)
Davide non puo stare con Chiara, quindi Davide va nella Squadra 2
Alice e Bruno devono stare insieme
Verificare le dimensioni dei gruppi e assegnare di conseguenza

Risposta: Squadra 2

Impara 14

Sequenza di Ordinamento

Determinare l'ordine di classificazione di elementi da indizi di confronto come superiore a, inferiore a e vincoli di posizione.

I puzzle di sequenza di ordinamento richiedono di disporre elementi in un ordine di classifica a partire da indizi sulle loro posizioni relative. I vincoli includono confronti diretti, esclusioni e catene transitive. Questi puzzle testano la capacita di costruire un ordinamento consistente da informazioni parziali.

Dati N elementi e vincoli di confronto: trovare un ordinamento totale coerente con tutti i vincoli

3 elementi classificati 1-3. Alice e classificata piu in alto di Bruno. Chiara non e prima. Qual e il rango di Chiara?
4 elementi classificati 1-4. Alice e piu in alto di Bruno. Chiara e piu in basso di Davide.
5 elementi classificati 1-5. Alice > Bruno > Chiara. Davide non e primo ne ultimo.

Come riconoscerlo

Costruire una catena: se A > B e B > C, allora A > C (transitivita)
Usare vincoli di esclusione per eliminare posizioni impossibili
Iniziare con la catena di confronti piu lunga
Contare quanti elementi devono essere sopra o sotto per restringere il rango
Provare posizioni possibili e verificare le contraddizioni

Errori comuni

Dimenticare di applicare la transitivita
Assumere che un vincolo significhi ranghi immediatamente adiacenti
Non considerare tutti gli ordinamenti possibili quando i vincoli ne permettono piu di uno

Soluzione passo per passo

3 elementi dal 1 (piu alto) al 3 (piu basso). Alice e classificata piu in alto di Bruno. Bruno non e 3o. Qual e il rango di Bruno?

Alice e piu in alto di Bruno, quindi rango di Alice < rango di Bruno
Bruno non e 3o (dato)
Ranghi possibili per Bruno: 1, 2. Ma Alice deve essere piu alta, quindi Bruno non puo essere 1o
Bruno e 2o. Alice e 1a. L'elemento rimanente e 3o

Risposta: 2o

Impara 15

Entimema

Un sillogismo in cui una premessa (o a volte la conclusione) è lasciata implicita e deve essere fornita dal lettore.

Un entimema è un argomento retorico classico strutturato come un sillogismo ma con una premessa nascosta (soppressa). Aristotele lo chiamava 'il corpo della prova' nella Retorica. Per valutare un entimema, il lettore deve identificare la premessa mancante e verificare se l'argomento completo è valido.

Espresso: P1, ∴ C. Ricostruito: P1, (P2 implicita), ∴ C

'Socrate è mortale, perché è un uomo' — premessa nascosta: tutti gli uomini sono mortali
'Deve avere una chiave — la porta è aperta' — premessa nascosta: solo chi ha la chiave la apre
'Questa moneta è truccata, quindi dobbiamo testarla'

Come riconoscerlo

Solo una premessa è enunciata accanto alla conclusione
L'argomento sembra suggestivo più che formalmente completo
Parole chiave: 'perché', 'quindi', 'pertanto' con un solo sostegno

Errori comuni

Accettare l'entimema senza ricostruire la premessa mancante
Fornire una premessa che rende l'argomento banalmente valido (petizione di principio)
Trattare qualsiasi argomento breve come entimema

Impara 16

Sorite (Sillogismo a Catena)

Un polisillogismo in cui la conclusione di ogni sillogismo diventa premessa del successivo, collegando più premesse a un'unica conclusione finale.

Un sorite è un tipo speciale di polisillogismo: una sequenza di proposizioni P1, P2, ..., Pn tale che ogni Pi condivide un termine con Pi+1, permettendo di concatenarle. La conclusione finale collega il soggetto della prima premessa al predicato dell'ultima.

Tutti gli A sono B; tutti i B sono C; tutti i C sono D; ... ∴ tutti gli A sono Z

Tutti i cani sono mammiferi; tutti i mammiferi sono vertebrati; tutti i vertebrati sono animali ∴ tutti i cani sono animali
Tutti gli atleti si allenano ogni giorno; chi si allena ogni giorno è in forma; chi è in forma rende bene ∴ tutti gli atleti rendono bene
Tutti i gatti sono felini; tutti i felini sono carnivori; tutti i carnivori mangiano carne ∴ tutti i gatti mangiano carne

Come riconoscerlo

Più di due premesse con una catena di termini condivisi
Il predicato di ogni premessa riappare come soggetto della successiva
La conclusione finale collega il primo soggetto all'ultimo predicato

Errori comuni

Consentire una catena spezzata
Introdurre un cambio di quantificatore a metà
Confondere con un entimema

Impara 17

Tavola di Verità

Una tabella che elenca tutte le possibili combinazioni di valori di verità delle proposizioni di ingresso e il valore di verità risultante di una formula composta.

Una tavola di verità è una tabella matematica usata in logica proposizionale classica per mostrare come il valore di verità di una formula composta dipenda dai valori di verità delle sue proposizioni atomiche. Per n variabili ha 2^n righe. Le tavole di verità offrono una procedura di decisione meccanica: una formula è tautologia se l'ultima colonna è tutta vera, contraddizione se tutta falsa, contingente altrimenti.

Per n variabili: 2^n righe; connettivi: ¬, ∧, ∨, →, ↔

p ∧ q è vera solo quando p e q sono vere
p → q è falsa solo quando p è vera e q falsa
p ∨ ¬p è una tautologia

Come riconoscerlo

Usa una tavola di verità quando devi verificare tutte le combinazioni
Conta le righe: 2 variabili = 4, 3 variabili = 8, n = 2^n
Valuta le sottoformule colonna per colonna, dall'interno verso l'esterno

Errori comuni

Dimenticare una riga
Calcolare p → q come «vera quando p è vera»
Trattare p ↔ q come «p e q»

Esempi svolti

Gli esempi svolti conservano la serie originale per ogni difficoltà. Aprine uno per confrontare consegna, opzioni, risposta corretta e spiegazione.

Esempio

Spiegazione

Torna a Deduzione Logica