符號「|=」是什麼意思？

符號「|=」是什麼意思？margin   在模型論中，表達式「A|=s」的意思是：A是句子集合S的模型。集合   那麼，A是句子集合S的模型到底是什麼意思？模型   瞭解緊緻性定理必須回答這個基本問題。  什麼是句子？什麼是模型？僅僅靠「拍腦殼」，「辦拔頭髮不解決問題。」   解決問題的辦法是：把咱們推薦的模型論電子版裝入手機中，查看第一章（11頁），讀一讀，想想便可明白了。、   注：模型；論電

>>阅读原文<<