( p ->q ) ^ ( p -> r ) and p -> ( q ->r ) 证明两个相等,谁会?

问题描述:

( p ->q ) ^ ( p -> r ) and p -> ( q ->r ) 证明两个相等,谁会?

你这个证明有问题把,演算了一下,不对