真值表- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
真值表是使用於邏輯中（特別是在連結邏輯代數、布林函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。
尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。
「用真值表製表的推理模式是由弗雷格、查爾斯·皮爾士和恩斯特·施羅德於1880年代所發明的。
這種表格於1920年代之後廣泛地發現在許多文獻上（揚·武卡謝維奇、埃米爾·波斯特、維根斯坦）」（蒯因, 39）。
路易斯·卡羅早在1894年就公式化了真值表來解決特
