逻辑吧 关注:115,771贴子:605,698
  • 0回复贴,共1

数理逻辑问题

只看楼主收藏回复

(A<->B)<->C |-| A<->(B<->C) 有人可以用内定理的方法证明一下吗?


1楼2010-12-23 11:20回复