---
tag: AC6XQ4KRNT
kind: concept
name: Barbara
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section B
    note: adopted
    mention: wikipedia://en/76765067#IU2G
    sections: [Summary]
inventory: [3NW0EMK79W]
---

## Summary

A standard form of categorical syllogism in Aristotelian logic, where all three propositions (major premise, minor premise, and conclusion) are universal affirmatives, symbolized as AAA. The form is: All M are P, All S are M, therefore All S are P.