Слушайте, когда мы впервые сталкиваемся с задачами по логике в информатике, в голове порой каша. Ну, знаете, эти все стрелочки, отрицания, скобочки... Кажется, будто составители тестов специально хотят нас запутать. Вот взять хотя бы этот вопрос: Для какого из чисел Х ¬((X кратно 5) → (X кратно 25)) истинно? На первый взгляд звучит как какое-то заклинание на латыни, но если присмотреться повнимательнее, всё намного проще, чем кажется. Давайте-ка разложим это дело по полочкам, без лишнего официоза. Прежде всего, давайте вспомним, как работает импликация. Это та самая стрелочка (A → B), которую часто называют «следованием». Помните золотое правило? Импликация ложна только в одном-единственном случае: когда из правды следует ложь. В остальное же время она — само спокойствие и истина. Но у нас-то перед всей скобкой стоит знак отрицания ¬! А это значит, что нам нужно, чтобы само выражение внутри было ложным. Итак, чтобы наше условие сработало, нам нужно поймать тот момент, когда (X кратно 5