离散数学第一章命题演算基础-真假性