小q阿貴...

看板NTUFS-90作者 (如果我有翅膀)時間22年前 (2003/10/24 16:53), 編輯推噓2(200)
留言2則, 2人參與, 最新討論串1/1
今天邏輯丙有作業...要交,佔總成績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

推140.112.216.148 10/24, , 1F
齁 鍾小q你都在翹課的唷
推140.112.216.148 10/24, 1F

推 218.167.111.48 10/25, , 2F
謝謝!!
推 218.167.111.48 10/25, 2F
文章代碼(AID): #_cEYL_- (NTUFS-90)