proposición matemática o lógica que se puede evaluar como verdadera o falsa