(小P原創)ati-classical 2+1 order logic

這幾天在學Logic，有教Classical Logic (CL), First Order Logic (FOL), Intuitionistic First Order Logic, Intuitionistic Second Order Propositional Logic (SOPL),

呼，突然想到一個好玩的，就是啥是Taiwan人的Logic ?

我想Taiwan Logic 可以稱為 ati-classical 2+1 order logic,

而ati-classical 2+1 order logic用英文寫，也就是 aTi-clAssIcal tWo ANd one order logic

是不是隱含TAIWAN Logic在裡面呢？

用程式碼來表示，啥是aTi-clAssIcal tWo ANd one order logic：

data People say = Teacher say
         | Nobody say
data TaiwanLogic = Truth | BullShit

aTi_clAssIcal_tWo_ANd_one_order_logic :: People say -> TaiwanLogic
aTi_clAssIcal_tWo_ANd_one_order_logic ( Teacher say )  = Truth
aTi_clAssIcal_tWo_ANd_one_order_logic ( Nobody say )  = BullShit

上面這些程式碼不僅有趣，還可以真的用WinHugs載入成功哦。