мне просто интересна природа вопроса, а не сами правила, - откуда их взяли? :
-> - следует (implies);
A -> B; если -B, тогда -A == логично; если A, тогда B == логично;
A -> B; если B, тогда A != логично; если -A, тогда -B != логично;
простой пример:
«Если завтра будет хорошая погода, то игра будет»; игры не было -> была плохая погода == FAIL;
и
«Если завтра будет плохая погода, то игры не будет»: игра была -> была хорошая погода == TRUE;
почему в первом случае это нелогично, а во втором логично, или это просто так «договорились»?