小q阿貴...

[bracken (如果我有翅膀)]

今天邏輯丙有作業...要交，佔總成績10%。

一希臘智者(protagoras)，教授學生(Euathlus)雄辨術，
約定先繳一半學費，另一半於學生畢業打贏第一場官司後再繳。
然而學生畢業之後並未當律師，因而遲遲未付清學費。

老師一狀告到法院：

1.WˇL 要麼我贏(W)要麼我輸(S)
2.W﹚P 我贏的話，學生付另一半學費(P)
3.L﹚S 我輸的話，學生贏(S)
4.S﹚P/∴P 學生贏則應付另一半學費
(結論：不論輸贏學生都應該付學費)

學生的反駁：

1.WˇL 要麼我贏(W)要麼我輸(S)
2.W﹚~P 我贏的話，就不必付另一半學費(~P)
3.L﹚T 我輸的話，老師贏(T)
4.T﹚~P/∴~P 老師贏則我不必付另一半學費
(結論：不論輸贏學生都不必付學費)

試用真值表驗證誰會勝訴...

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.192.128
→ yieunn:齁 鍾小q你都在翹課的唷
→ tiffanie:謝謝!!