A-> B (meta language) A⊢ B (formal language) A imp...

Apply rules of inference to derive conclusions Schema：符合我们语言语法规则(除了用原变量替...

Logic Equivalence 当两个sentence在truth table里满足的条目完全一致时，我们认为这两个sentence满足 L...

Proposition 指代的是在观察集内一种可能发生的条件 而 Propositional Logic 关注的是 Proposition 和他...

一组判断（sentence）能否得到（entail not reasoning）一个结论(conclusion)的基础条件是，这组判断是否在任何...

证明理论（proof theory）是一个在数学证明中的概念，大多民间研究者被冠以”民科“的一大原因就是因为他们往往用一些想当然收集到的事例来证...

战国时期楚国有一个人，坐船过江的时候不小心，携带的剑坠入了江中。于是他就在船边刻了个记号。船停了，他就从刻了记号的地方下水去寻找他的剑…… 好了...