Замените символы а, б, с и д на такие утверждения, чтобы связанные составные утверждения сохраняли свой смысл: 1) если
Замените символы а, б, с и д на такие утверждения, чтобы связанные составные утверждения сохраняли свой смысл: 1) если (X или Y и Z), то W 2) если (не X и не Y), то (Z или W) 3) (X или Y) тогда и только тогда, когда (Z и не W)
13.11.2023 15:50
Объяснение:
1) Нам нужно заменить символы а, б, с и д на утверждения, которые будут сохранять свой смысл в данных логических утверждениях.
- Если (X или Y и Z), то W
- Если (не X и не Y), то (Z или W)
- (X или Y) тогда и только тогда, когда (Z и не W)
Решение:
1) Первую формулу можно переписать следующим образом:
- Если (Ученик набрал хотя бы один балл или сдал тест и отправился на практику), то Викторина будет пройдена.
2) Вторую формулу можно переформулировать так:
- Если (Ученик не получил X и не получил Y), то (Он сдал Z или получил W).
3) Третья формула может быть переписана так:
- (Ученик получил X или Y) тогда и только тогда, когда (Он сдал Z и не получил W).
Пример:
1) Если (Ученик набрал хотя бы один балл или сдал тест и отправился на практику), то Викторина будет пройдена.
Совет:
- Для лучшего понимания логических утверждений рекомендуется изучать основные логические операторы (И, ИЛИ, НЕ), а также понимать их приоритет и правила преобразования.
Закрепляющее упражнение:
Переформулируйте следующее логическое утверждение, используя конкретные условия:
Если (Ученик сдаст экзамен и получит высокий балл), то он получит золотую медаль.