2010年9月24日

逻辑后承：从语句到图形

摘要： 如果把一个图形看作一个结构（模型），那么图形之间的逻辑后承可以很自然的通过反转语句之间的逻辑后承得到定义。 定义 1：$\varphi\vDash\psi$ iff $\forall M\in\mathrm{Mod}(\mathcal{L}):M\models\varphi\Rightarrow M 阅读全文

posted @ 2010-09-24 15:53 ilogic 阅读(416) 评论(0) 推荐(0) 编辑