Si M(x) simboliza "Ser hombre", siendo M=ser hombre lo que que se puede predicar respecto a una variable x cuyo compromiso de existencia vendría dado por la cuantificación existencial de la referencia de dicha función, bien sea un cuantificador universal, todo x: formula_5; un cuantificador particular, un o algún x: formula_6; o una constante individual determinada: a, b, c…; y P(x) "ser mortal" y M(x) "ser griego", entonces la fórmula formula_4 representa un silogismo material en barbara.