Conditional statement 為邏輯推理最基本的招式,其格式為If
A then B。
意思是指若前件 (antecedent) 為真,則後件 (consequent) 也必定真實。
例子:
前件:如果那人是警員,
後件:他必具中學學歷。
按上述的 conditional statement 推理,我們可以有兩類推斷:
(1) If A then B
如果達明是名警員,則我們可以推斷他必具中學學歷。
(2) If NOT B then NOT A
如果小虎不擁有中學學歷,則我們可以推斷他必定不是警員。