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