数理逻辑吧 - RAT

4

2012-02-15

打扰大家一下,不好意思. "符号逻辑吧"新开张,欢迎各位逻辑看好者加入讨论. http://tieba.baidu.com/f?kw=%B7%FB%BA%……

3

2012-02-10

T=>(U.V) (UvV)=>W ∴T=>W 这个一看就知是重言句. 但想了很久也列不出有效性证明~~

3

2012-01-04

Hi，各位好，我新建了一个数理逻辑爱好者的超级QQ群（14220681），我之前在QQ群里搜索，有些还专门申请进去看了一下，没有发现一个真正的爱好者的群……

1

2012-01-04

用谓词演算检验(∃x)(Ax∨Bx)是否等值于(∃x)Ax∨(∃x)Bx

1

2009-07-18