∀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
私信
归档
29
05
看啊,这是郑大人的家乡。
● 明朝
● 郑和
● 摄影
● 摄影是一种生活方式
● 风景
● 天空摄影日记
热度(2)
评论
热度(2)
上一篇
下一篇
评论