← Volver a Deducción Lógica · Guías
Silogismo Barbara
El silogismo válido más fundamental: Todos los A son B, Todos los B son C, por lo tanto Todos los A son C.
Aprender
El silogismo válido más fundamental: Todos los A son B, Todos los B son C, por lo tanto Todos los A son C.
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.
Cómo reconocerlo
- 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'
Errores comunes
- 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
Resolución paso a paso
Todos los mamíferos son animales. Todos los perros son mamíferos. ¿Qué podemos concluir?
- Identifica las premisas: 'Todos los mamíferos son animales' y 'Todos los perros son mamíferos'
- Encuentra el término medio que aparece en ambas: 'mamíferos'
- Encadena la relación: Perros → Mamíferos → Animales
- Concluye con afirmación universal: Todos los perros son animales
Respuesta: All dogs are animals