Una proposición no puede tener ocurrencias libres, variables sin cuantificar, para poder tener valor V o F.