（整理）第六节 真值表及其作用.ppt

（整理）第六节 真值表及其作用.ppt第六节真值表及其作用一、真值表及其画法真值表是以表格的直观形式表示与判定判断真值和推理有效性的一种逻辑方法。【真值表:能显示一个复合判断在它的支判断的各种组合下的真假情况的图表。】优选*注意问题:在二值逻辑中,判断的真值只限于判断取值为真、为假两种情况。推理有效性即推理形式的正确性,包括推理有效和无效两种情况。真值表的简单与复杂,主要取决于支判断和逻辑联结词的多少。优选*:运用给定判断形式中的所有变项,列出这些判断的各种真值组合运用真值表方法的步骤优选*:根据判断形式的构成过程,从左至右由简而繁的列出所给定判断形式的各个组成部分(子公式);被判定的公式(原公式)列在最后。优选*:根据已学过的联言判断、选言判断、假言判断、负判断的真值表,计算出每个组成部分的真值,依次给出表中所有公式的真值。*二、真值表的作用(一)定义复合判断逻辑联结词优选*(二)判定判断之间的逻辑关系pq¬(p∨q)¬p∧¬qTTFFFTFFFFTTTFFF(p∨q)←→p∧q优选*(二)判定判断之间的逻辑关系pqp∨q¬p∧¬qTTTFFTTFFFFTTFTF(p∨q)与p∧q是矛盾关系优选*(三)判定推理形式是否为有效式若某推理形式的真值是恒真的,则它是有效的,否则它是无效的。推理有效式的真值总是真的(永真式)优选*例1:下列ABC三个判断不同真,可否断言小金是否当选班长,小赵是否当选学****委员?A:小金不当选班长或者小赵当选学****委员B:小赵当选学****委员C:小金当选班长或者小赵当选学****委员解:①令p表示“小金当选班长”,q表示“小赵当选学****委员”②把ABC符号化为:A:(┓p∨q)B:qC:(p∨q)③列真值表如下:优选*