∀x(Fx→Gx)

(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)
((A∧B)→C))∧((C∧D)→E)∧((D∧E)→F)=>(A∧B)→F

评论(1)

热度(1)