∀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

京华烟云书影有韵致

凡引苏东坡传者,皆失真失实附庸风雅也

评论

热度(2)