• 0 Posts
  • 9 Comments
Joined 1 year ago
cake
Cake day: July 28th, 2023

help-circle


  • BluesF@lemmy.worldtomemes@lemmy.worldDeep thoughts.
    link
    fedilink
    arrow-up
    5
    ·
    edit-2
    24 days ago

    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))