Si F no tiene cuantificador, evalúa y acepta si y solo si F es verdadera.