On 29/07/2013 6:46 PM, omd wrote:
On Mon, Jul 29, 2013 at 6:44 PM, Fool<fool1...@gmail.com> wrote:
How's that. Why is it (~(a->b) -> ~a) and not (a -> (a->b)) ?
IMPOSSIBLE except as allowed
~(allowed) -> ~a
It's allowed if a -> b, therefore ~(a -> b) -> ~a.
So, you admit it's NOT IMPOSSIBLE for me to do this stuff? :-)
Possibly.
:-)
Let's ask if you are a player (c). If I de-registered you, you are NOT a
player (b -> ~c).
But (b -> ~c) -> (~~b -> ~c). So if it was NOT IMPOSSIBLE for me to
de-register you, you are not a player.
