Li-Fan Chen
says to
YSITD
為什麼 (A -> B) ->B 會等於 A V B