断言 : 是一个表示判断的陈述句
命题 : 是一个有确定真假值的断言
命题的真值 : 命题真值指命题的真假性质
原子命题 : 一个不能再分解成更简单语句的命题
复合命题 : 由原子命题通过逻辑联结词进行适当组合而成
命题常元 : 指一个有确定真值的固定命题
命题变元 : 指一个未确定真值的任意命题, 其值在{0, 1}上变化
a和b都大于0的否定 : a和b不都大于0
且, 当a和b均为真(1)时, a∧b才是真. 其余均为假
或, 当a和b的真值均为假(0)时, a∨b才是假. 其余均为真
如果a, 那么b. a是b的充分条件. 只有当a真b假时, a→b才为假
如果a, 那么b且如果b, 那么a. 只有当a和b的真值相同时, a↔b才取真的真值(1)
语句的形式化 : 确定原子命题, 选用恰当联结词, 将其形式化,即将其变为命题公式
命题公式的概念 : 是一个表达式, 由命题常元, 命题变元, 联结词符号和圆括号所组成的一个字符串
指派 : 给定公式A中的n 个命题变元任意一组确定的值(1或0), 使A得到一个值(1, 0). 这一组确定的值为公式A的一组指派
先确定公式A中命题变元个数(a,b,c等)
写出A所有指派, 一个指派一行. 若有n个命题变元, 则有2ⁿ组指派, 真值表有2ⁿ + 1 行
确定联结词个数, 在指派那行后写出单个联结词的真值, 一个联结词对应一列