BonesOfTheMoon@lemmy.world to memes@lemmy.world · 1 month agoDeep thoughts.lemmy.worldimagemessage-square98fedilinkarrow-up11.51K
arrow-up11.51KimageDeep thoughts.lemmy.worldBonesOfTheMoon@lemmy.world to memes@lemmy.world · 1 month agomessage-square98fedilink
minus-squareBluesF@lemmy.worldlinkfedilinkarrow-up5·edit-21 month 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))
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))