【計算思惟】什麼是邏輯？(帶過程)

邏輯的基本表現形式是命題和推理，推理即依據由簡單命題的判斷推導得出複雜的命題的判斷結論的過程。命題由語句表述，即內容爲 真 或爲 假 的一個判斷語句！

例如：在一次中學生測驗中，有三位老師作預測: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>