Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
Если утверждение A ложно, а утверждение B истинно, то связь между ними, обозначаемая как A→B или A→B, будет истинной. Это свойство называется ложь следует за истиной.