数理逻辑 定理2.6.10 p65
iii A->(B^C) |-| (A->B)^(A->C)
iv A->(BVC) |-| (A->B)^(A->C)
iv这个公式是不是有问题啊?
iv A->(BVC) |-| (A->B)V(A->C) 吧。。
要不就是
iii A->(B^C) |-| (A->B)V(A->C)
数理逻辑 定理2.6.10 p65
iii A->(B^C) |-| (A->B)^(A->C)
iv A->(BVC) |-| (A->B)^(A->C)
iv这个公式是不是有问题啊?
iv A->(BVC) |-| (A->B)V(A->C) 吧。。
要不就是
iii A->(B^C) |-| (A->B)V(A->C)