1) Очевидно верно, т.к. если радуга была, значит был обязательно и дождь, по крайней мере это сказано в "метеорологическом факте". 2) Неверно, т.к. из "метеорологического факта" не следует, что после дождя ОБЯЗАТЕЛЬНО появляется радуга, вполне себе мог пройти дождь, а радуга после него не появилась.
3) Верно. Если предподожить противоложное, т.е. радуга появилась, то ведь должен был быть и дождь, а в условии 3-го пункта сказано, что "дождя не было", это противоречие, значит предположение о том, что была радуга - неверно. Таким образом, если дождя не было, то и радуги не буде. 4) Неверно. Т.к. из того что на небе нет радуги, не следует, что обязательно не было дождя, Дождь мог и быть, но радуги после него не появиться, т.е. это аналог 2-го пункта.
Хорошо, вам не объяснили толково что такое вообще математическая логика, но это на самом деле нормальный случай, сами дают и не знают, что дают. Давайте разберемся. Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю. В данном случае за утверждение принимается: A - предположение, говорящее, что Первая буква гласная. B - предположение, говорящее, что Последняя буква согласная. Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры"). Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь). Давайте запишем как нужно само выражение. -A∧-B (вместо минусов нужно черточку над буквой). Таблица истинности выглядит так: В наименованиях столбцов пишите A и B и ваше выражение третьим. Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1. "НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот. "И" - дает 1 если оба операнда 1, иначе дает 0. "ИЛИ" - дает 0 если оба операнда 0, иначе дает 1. Вот и все. Заполняете и получаете нужное.
