column value
英文名稱 partial propositional calculus
中文名稱 部分命題演算