-
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)
薛定谔的冰柜,保温箱里的冷冻食品开箱。 疲惫的刺猬和忙碌的喜鹊。 冷冻饲料在自制保温箱里待了12小时,居然幸存了下来! 库巴帮我们拆箱,猫马洛施卡则在旁边监督。 冰柜自己都不知道它是工作还是不工作。 底部还在冷冻,但顶部效果不佳。 最终我们订购了一个新冰柜。 就是昨天选的那个便宜的。预计9月11日送达。 刺猬来我们家帮忙吃掉我们没吃完的东西, 已经累到必须侧躺着吃了!做一只刺猬真是太辛苦了! 这都怪喜鹊睡得太久,不好好帮忙!
赭红尾鸲,24年8月摄于青海玉树
猴姐为了安慰受惊的妹妹,冒险从抢猴贼手里抱起妹妹,一遍遍亲吻
《松烟团子》第一集
NT异变 NT-档案
小乌龟干饭日常,一口气吃8种食物,太给力了
给每只猫都找到了最适合的玩具,顺便搭个猫爬架
百岁仓鼠的一生
动物综合 0