-
P⥤Q=∀x:P.Q true=∀X:Prop.X⥤X false=∀X:Prop.X P∧Q=∀X:Prop.(P⥤Q⥤X)⥤X P∨Q=∀X:Prop.(P⥤X)⥤(Q⥤X)⥤X ﹁P=P⥤false ∃x:A.P(x)=∀X:Prop.(∀x:A.(P(x)⥤X))⥤X (a=ᴬb)=∀P:A→Prop.P(a)⥤P(b)
Ins:kohaze
狸花猫:你给我跪下
你能一眼看穿它的心脏跳动、肠胃蠕动!这不是特效,是自然进化奇迹-—玻璃蛙。
梦中情猫2.0,到底谁才是你的梦中情猫!
爸妈去医院了,靠谱苏照顾猴弟,真靠谱!
这只流浪狗救助了以后,它就一直深情的望着我们
这只渡鸦说话的声音竟然和我一模一样!
现在思绪比较乱
要快点好起来诶......
动物综合 0