lambda1@tg says to YSITD
有人想要學propositional logic 嗎