BARBARA
Es el nombre que designa uno de los modos (véase Modo) válidos de los silogismos de la primera figura. Un ejemplo de Barbara puede ser:
Si todos los hombres son mortales
y todos los abisinios son hombres,
entonces todos los abisinios son mortales,
ejemplo que corresponde a la siguiente ley de la lógica cuantificacional elemental:
