対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。
相较之下，直觉主义逻辑中的命题公式并不赋予明确的真值，只有在我们有直接证据时才被认为是“真实的”，因此才具有证明。