REPHRASED TASK 1. FORMALIZATION OF STATEMENTS 1. Formalize statements using logical variables and symbols of logical
REPHRASED TASK 1. FORMALIZATION OF STATEMENTS 1. Formalize statements using logical variables and symbols of logical operations. 1) If you defend all laboratory works and write a control test, then you can obtain an "automat". 2) If you defend a laboratory work without a report or do not write a control test, then the opportunity to obtain an "automat" is lost. 3) If you skip a lecture and do not write a paper, then points are deducted from the rating, which means that in the end, you may not reach the "automat". 4) If you impress with additional knowledge during the defense of laboratory works, you can earn.
Чайный_Дракон 22
работs, then you increase the chances of obtaining an "automat".Решение:
1) Пусть переменные p, q, r и s соответственно обозначают следующие утверждения:
- p: "Вы защищаете все лабораторные работы".
- q: "Вы написали контрольный тест".
- r: "Вы можете получить оценку "автомат"".
- s: "Вы проходите лекцию и пишете задание".
Условие: "Если вы защищаете все лабораторные работы и написали контрольный тест, то вы можете получить оценку "автомат"".
Формализуем это условие: p \(\land\) q \(\rightarrow\) r.
2) Условие: "Если вы защитили лабораторную работу без отчета или не написали контрольный тест, то у вас теряется возможность получить оценку "автомат"".
Формализуем это условие: (p \(\land\) ¬q) \(\rightarrow\) ¬r.
3) Условие: "Если вы пропускаете лекцию и не пишете задание, то из рейтинга вычитаются баллы, что означает, что в конце вы можете не добраться до "автомата"".
Формализуем это условие: (¬s \(\land\) ¬r) \(\rightarrow\) ¬r.
4) Условие: "Если вы производите дополнительные знания во время защиты лабораторных работ, то вы увеличиваете свои шансы на получение оценки "автомат"".
Формализуем это условие: r \(\rightarrow\) r.
Таким образом, мы сформализовали заданные утверждения, используя переменные p, q, r и s, а также символы логических операций \(\land\), \(\rightarrow\) и ¬.
Будьте внимательны: данная формализация основана на предоставленных утверждениях и может быть использована для проведения логических рассуждений.