@BonesOfTheMoon@lemmy.world to memes@lemmy.world • 25 days agoDeep thoughts.lemmy.worldimagemessage-square84fedilinkarrow-up11.5Karrow-down116cross-posted to: historymemes@lemmy.world
arrow-up11.48Karrow-down1imageDeep thoughts.lemmy.world@BonesOfTheMoon@lemmy.world to memes@lemmy.world • 25 days agomessage-square84fedilinkcross-posted to: historymemes@lemmy.world
minus-square@Agent641@lemmy.worldlinkfedilink8•24 days agoAh, but youre still making unreasonable assumptions that the house can’t move. Perhaps the house just chooses not to move.
minus-square@BluesF@lemmy.worldlinkfedilink5•edit-224 days agoA fair point - here’s a generalisation. W denotes windows, M the ability to move, a and b are two objects for which their possession of windows and ability to move (or otherwise) is known, and x is some other object. (W(a) ^ W(b)) ^ (M(a) ^ ¬M(b)) -> ¬(W(x) -> M(x))
Ah, but youre still making unreasonable assumptions that the house can’t move. Perhaps the house just chooses not to move.
A fair point - here’s a generalisation. W denotes windows, M the ability to move, a and b are two objects for which their possession of windows and ability to move (or otherwise) is known, and x is some other object.
(W(a) ^ W(b)) ^ (M(a) ^ ¬M(b)) -> ¬(W(x) -> M(x))