在逻辑学中的三值逻辑（three-valued，也称为三元（ternary），或三价（trivalent）逻辑，有时缩写为3VL）是几个多值逻辑系统中的其中之一。有三种状态来表示真、假和一个表示不确定的第三值；这相对于基础的二元逻辑（比如布尔逻辑，它只提供真假两种状态）。概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis创建。 然后这些由 Grigore Moisil以公理代数形式重新制定，并在 1945年扩展到 formula_1值逻辑。
值的表示符号