[問題] 一個自然演繹法的問題

[seasons216 (成無事一事無成)]

1.(j^r)→h
2.(r→h)→m
3.~(pvj)
/m^~p
要如何證明此論證有效

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 203.67.101.60