Warning: Some posts on this platform may contain adult material intended for mature audiences only. Viewer discretion is advised. By clicking ‘Continue’, you confirm that you are 18 years or older and consent to viewing explicit content.
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.
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))