Barbara

(Lóg.) Primeiro modo válido da primeira figura do silogismo. Todo M é P; ora, todo S é M; logo, todo S é P.