A-> B (meta language) A⊢ B (formal ...[作者空间]

Apply rules of inference to derive conclusions Schema：符合我...[作者空间]

Logic Equivalence 当两个sentence在truth table里满足的条目完全一致时，我们认为...[作者空间]

Proposition 指代的是在观察集内一种可能发生的条件 而 Propositional Logic 关注的是...[作者空间]

一组判断（sentence）能否得到（entail not reasoning）一个结论(conclusion)的...[作者空间]