we,we,wa,wa

邏輯小講座（二） 有人開邏輯講座，自已卻寫："光速不變的其中一個推論是：沒有任何物體運動的速度會超過光速。" 若某牛的行走速度不變，只怕亦沒有任何物體運動的速度會超過牛速。 至於歸謬法， 若 X |= (P&~P), 可推出 ~X 但若 ( X & Y) |= (P&~P), 則不可推出 ~X.