數學 邏輯期中考 交通大學資工系88年11月26日. Open Book 授課教授:黃廷祿 ... Prove that if every formula is a theorem of Γ , then Γ is inconsistent. (10%).
確定! 回上一頁