The AI-powered English dictionary
plural barbaras
(logic) A syllogism in which all three propositions are of the form "All X are Y" or "X is a Y". examples