Preposiciones o expreciones de lenguaje

Lógica (evaluables).
Abiertas (las variables cambian).
Indeterminadas (no puede ser variable, ni evaluable).