逻辑的基本表现形式是命题和推理,推理即依据由简单命题的判断推导得出复杂的命题的判断结论的过程。命题由语句表述,即内容为 真 或为 假 的一个判断语句!
例如:在一次中学生测验中,有三位老师做预测:A.学习委员及格;B.有人不及格;C.全班都不及格;在考试后证明只有一名老师的预测是对的,请问谁对谁错?
求解过程:
命题A:学习委员及格(即有人及格)
命题B:有人不及格
命题C:全班都不及格
由题目假设和命题之间关系得出 “已知”:A、B、C只有一个为 真
如果A真:则C为假,反之C为真,则A为假
如果B真:而A、C可能有一个为真,与题矛盾,所以B为假
如果B假:则“全班都及格”为真,由此推断出C为假
A对BC错
将逻辑表达为0和1及运算
1=true 0=false
已知:
((A and (not C)) or ((not A) and C))==1
(not B) and ((A and (not C)) or ((not A) and c)==1
((not B) and (not c))==1
组合形成所有可能解
{<A=1,B=0 ,C=0>,<A=0,B=1,C=0>, <A=0,B=0,C=1>}
解
<A=1,B=0,C=0>