3. Переформулируйте значения истинности следующих утверждений: а) Неве находится Санкт-Петербург и 2 + 3 = 5; б) либо

Содержание вопроса: Логические значения

Объяснение: Данные утверждения можно переформулировать, используя понятия истинности.

а) Утверждение "Неве находится Санкт-Петербург и 2 + 3 = 5" можно переформулировать следующим образом: "Утверждение "Неве находится Санкт-Петербург" и утверждение "2 + 3 = 5" оба являются истинными."

б) Утверждение "либо 7 - простое число, либо 9 - простое число" может быть переформулировано так: "Истинно, что хотя бы одно из утверждений "7 - простое число" и "9 - простое число" является истинным."

в) Утверждение "спутники Марса - Фобос и Луна" может быть переформулировано следующим образом: "Оба утверждения "Фобос - спутник Марса" и "Луна - спутник Марса" являются истинными."

г) Утверждение "Если 3 делится на 9, то 2 делится на 4" можно переформулировать так: "Утверждение "3 делится на 9" приводит к истинности утверждению "2 делится на 4"."

д) Утверждение "Если Саратов находится на Неве, то слоны - насекомые" можно переформулировать следующим образом: "Утверждение "Саратов находится на Неве" ведет к истинности утверждению "Слоны - насекомые"."

е) Утверждение "Если 6 делится на 12, то 12 делится" можно переформулировать так: "Утверждение "6 делится на 12" не подтверждает истинности утверждению "12 делится"."

Совет: Для лучшего понимания логических значений, уделите внимание таблицам истинности и изучите основные логические операторы (и, или, не).

Ещё задача: Переформулируйте утверждение "Если сегодня понедельник, то завтра вторник" в терминах истинности.