Я не спорю, просто сейчас вижу, что нет однозначного понимания построения "если ..., то ...". Но это не значит, что этим нельзя пользоваться в игре.
Однозначное и единственно верное понимание высказывания "если 1, то 2" заключается в том, что если 1 _окажется_ верным, то второе тоже _является_ истиной.
Таким образом, оно эквивалентно тому, что "утверждение 1 неверно" или "утверждение 2 верно" (в том же самом неисключающем смысле - то есть вполне возможно ситуация, что и "1 неверно", и "2 верно").
Никаких "или-или". Кросс абсолютно точно расписал 3 элементарные ситуации, которые возможны при таком высказывании.
(update) Или еще так, может быть проще понять: утверждение "если 1, то 2" неверно в том и только в том случае, когда 1 - истинное, а 2 - ложное.
Отредактировано vetal (2013-11-16 20:29:00)