En contraste, las fórmulas proposicionales en lógica intuicionista "no" tienen un valor definitivo de verdad asignado y solo son únicamente consideradas como "verdaderas" cuando se tiene evidencia directa.