数理逻辑中用以定义命题联结词并确定复合命题的真或假（即真值）的图表。例如在二值逻辑中，设以“p”、“q”代表命题，则命题的否定（﹁p）的真值情形可用下面的表来表示：

命题的析取、合取、蕴涵、等值的真值情形是：即：当且仅当p假而q假时“p∨q”为假，余类推。根据这些表可确定任何复合命题的真值情形。