Li-Fan Chen
says to
YSITD
不過我還是不太能理解 (p->q) 本身有真假值的概念