Allen Chou says to YSITD
什麼一階邏輯