真值表及其作用课件

第六节真值表及其作用、真值表及其画法真值表是以表格的直观形式表示与判定判断真值和推理有效性的一种逻辑方法。【真值表:能显示一个复合判断在它的支判断的各种组合下的真假情况的图表。】第六节真值表及其作用1注意问题:在二值逻辑中,判断的真值只限于判断取值为真、为假两种情况。推理有效性即推理形式的正确性,包括推理有效和无效两种情况真值表的简单与复杂,主要取决于支判断和逻辑联结词的多少。注意问题:2运用真值表方法的步骤1列出各种真值组合运用给定判断形式中的所有变项列出这些判断的各种真值组合运用真值表方法的步骤32分解判断形式:根据判断形式的构成过程从左至右由简而繁的列出所给定判断形式的各个组成部分(子公式);被判定的公式(原公式)列在最后。pq-=p+q(p+)∧-+)∧-+TFTFF2分解判断形式:根据判断形式的构成过程43计算每个组成部分真值:根据已学过的联言判断、选言判断、假言判断、负判断的真值表,计算出每个组成部分的真值,依次给出表中所有公式的真值。q|→p|-q|p→q|(p→q)∧-q(p→q)∧_→pTFFTIFFTTFTFITITFFFFTTTTTFIFITTT4得出需要判定的复合判断的真值并作出判定3计算每个组成部分真值:根据已学过的联5二、真值表的作用(一)定义复合判断逻辑联结词pqp→q|p←q|p←→q|p∨q|pVqp∧q1p真真真真真真假真假真假假真假真真假假假真真假假真真假真假假真真真假假假真二、真值表的作用6(二)判定判断之间的逻辑关系pq(Vq|→p∧TTFFTFFFTFFFTFFTp(pvq)∧q(二)判定判断之间的逻辑关系7(二)判定判断之间的逻辑关系pqpvqp∧qTTTTFTFTTFFFTFFFp∨q)与-p∧q是矛盾关系(二)判定判断之间的逻辑关系8(三)判定推理形式是否为有效式若某推理形式的真值是恒真的,则它是有效的,否则它是无效的推理有效式的真值总是真的(永真式)(三)判定推理形式是否为有效式9例1:下列ABC三个判断不同真,可否断言小金是否当选班长,小赵是否当选学习委员?A小金不当选班长或者小赵当选学习委员B:小赵当选学习委员C:小金当选班长或者小赵当选学习委员解:①令p表示“小金当选班长”,q表示“小赵当选学习委员”②把ABC符号化为A:pVaB:q③列真值表如下:例1:下列ABC三个判断不同真,可否断言小10真值表及其作用课件11真值表及其作用课件12真值表及其作用课件13真值表及其作用课件14真值表及其作用课件15真值表及其作用课件16真值表及其作用课件17真值表及其作用课件18真值表及其作用课件19真值表及其作用课件20真值表及其作用课件21真值表及其作用课件22真值表及其作用课件23真值表及其作用课件24真值表及其作用课件25真值表及其作用课件26真值表及其作用课件27真值表及其作用课件28真值表及其作用课件29真值表及其作用课件30真值表及其作用课件31真值表及其作用课件32真值表及其作用课件33真值表及其作用课件34真值表及其作用课件35真值表及其作用课件36真值表及其作用课件37真值表及其作用课件38真值表及其作用课件39真值表及其作用课件40真值表及其作用课件41真值表及其作用课件42真值表及其作用课件43真值表及其作用课件44真值表及其作用课件45真值表及其作用课件46真值表及其作用课件47真值表及其作用课件48真值表及其作用课件49真值表及其作用课件50真值表及其作用课件51真值表及其作用课件52真值表及