[離散] Logic and proposition

[tiyun (宅男科科叫，正妹呵呵笑)]

上次小考題目

一直解不出來

題目如下：

已知

p

r

(p->q)->(p->r)

要證明 q

Thanks in advance

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.113.63.40
→ tiyun:話說q是T或F似乎代進去都對，不知這樣還需不需要證
推 dorminia:題目錯了吧...
→ tiyun:感謝 我也這麼覺得