Sorry for not noticing your comment earlier. It would be nice to have a way to subscribe to comment threads.
I don’t understand why the definitions of X and S imply that S ⇒ ~X. Does that rely on specific features of your A and U? For example, if we take a different A and U so that A()==2 and U()==0, then X is true for a=2 and u=0, and S is true for u=1.
Sorry for not noticing your comment earlier. It would be nice to have a way to subscribe to comment threads.
I don’t understand why the definitions of X and S imply that S ⇒ ~X. Does that rely on specific features of your A and U? For example, if we take a different A and U so that A()==2 and U()==0, then X is true for a=2 and u=0, and S is true for u=1.
Use “Subscribe to RSS Feed” on the right.