column value
英文名稱 propositional logic
中文名稱 命題邏輯