第六节真值表及其作用注意问题:在二值逻辑中,判断的真值只限于判断取值为真、为假两种情况。推理有效性即推理形式的正确性,包括推理有效和无效两种情况。真值表的简单与复杂,主要取决于支判断和逻辑联结词的多少。:运用给定判断形式中的所有变项,:根据判断形式的构成过程,从左至右由简而繁的列出所给定判断形式的各个组成部分(子公式);被判定的公式(原公式)列在最后。pqpqp→q(p→q)∧q(p→q)∧q→:根据已学过的联言判断、选言判断、假言判断、负判断的真值表,计算出每个组成部分的真值,依次给出表中所有公式的真值。pqpqp→q(p→q)∧q(p→q)∧q→、真值表的作用(一)定义复合判断逻辑联结词pqp→qp←qp←→qp∨qp∨qp∧q┓p真真真真真真假真假真假假真假真真假假假真真假假真真假真假假真真真假假假真(二)判定判断之间的逻辑关系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)③列真值表如下:
第六节真值表及其作用 来自淘豆网www.taodocs.com转载请标明出处.