Mathematical logic II. 數學邏輯⼆二. Page 2. 模型檢驗. • 簡易易⽽而直接的模型檢驗⽅方式 ... The negation of a tautology is a contradiction and vice versa.
確定! 回上一頁