Извините, какие правила «логической транзитивности»? Одна из вещей, которую предназначена операционная система, - это защитить программы от неправильного поведения других программ. В частности, O / S не должен вылетать из строя только потому, что ваша программа пытается сделать что-то глупо.
В операционных системах без защиты памяти доступ через нулевой (или любой недействительный) указатель действительно может привести к тому, что O / S, чтобы сбой (если O / S случайно использовал местоположение 0 для чего-то интересного).
Но это не имеет ничего общего с логической транзитивностью. Это связано с тем, что ваша программа обращается к памяти, принадлежащей другой программе. В этих обстоятельствах может произойти сбой любой программы.