Para proposiciones generales y particulares hay que utilizar cuantificadores formula_1 Para todo "x" se cumple "Fx".