Напишите следующие высказывания в виде логических выражений. 1. Число 17 нечетное и двузначное. 2. Если Маша - сестра Саши, то Саша - брат Маши. 3. Голова думает тогда и только тогда, когда язык отдыхает. 1. На уроке физики ученики выполняли лабораторную работу и сообщали результаты исследований учителю. 2. Ты можешь купить в магазине продукты, если у тебя есть деньги. 3. При замерзании воды выделяется тепло. 1. Неверно, что корова - хищное животное. 2. На уроке информатике необходимо соблюдать правила техники безопасности. 3. Если на улице дождь, то асфальт мокрый. 1. Если компьютер включен, то можно на нем работать. 2. Катя любит писать сочинения или решать задачи. 3. Тише едешь - дальше будешь. 1. Если число делится на 2, то оно - четное. 2. Земля движется по круговой или эллиптической орбите. 3. Водительские права можно получить тогда и только тогда, когда тебе исполниться 18 лет.
Давайте представим каждое из этих высказываний в виде логических выражений:
Число 17 нечетное и двузначное. O(17)∧D(17)O(17) \land D(17)O(17)∧D(17)
где O(x)O(x)O(x) - "число xxx нечетное", D(x)D(x)D(x) - "число xxx двузначное".
Если Маша - сестра Саши, то Саша - брат Маши. S(M,S)→B(S,M)S(M, S) \rightarrow B(S, M)S(M,S)→B(S,M)
где S(x,y)S(x, y)S(x,y) - "x - сестра y", B(x,y)B(x, y)B(x,y) - "x - брат y".
Голова думает тогда и только тогда, когда язык отдыхает. D↔RD \leftrightarrow RD↔R
где DDD - "голова думает", RRR - "язык отдыхает".
На уроке физики ученики выполняли лабораторную работу и сообщали результаты исследований учителю. L∧RL \land RL∧R
где LLL - "ученики выполняли лабораторную работу", RRR - "ученики сообщали результаты учителю".
Ты можешь купить в магазине продукты, если у тебя есть деньги. D→PD \rightarrow PD→P
где DDD - "у тебя есть деньги", PPP - "ты можешь купить продукты".
При замерзании воды выделяется тепло. F(W)→HF(W) \rightarrow HF(W)→H
где F(x)F(x)F(x) - "x замерзает", HHH - "выделяется тепло".
Неверно, что корова - хищное животное. ¬H(C)\neg H(C)¬H(C)
где H(x)H(x)H(x) - "x - хищное животное", CCC - "корова".
На уроке информатике необходимо соблюдать правила техники безопасности. I→RI \rightarrow RI→R
где III - "на уроке информатике", RRR - "необходимо соблюдать правила техники безопасности".
Если на улице дождь, то асфальт мокрый. R→MR \rightarrow MR→M
где RRR - "на улице дождь", MMM - "асфальт мокрый".
Если компьютер включен, то можно на нем работать. C→WC \rightarrow WC→W
где CCC - "компьютер включен", WWW - "можно работать на компьютере".
Катя любит писать сочинения или решать задачи. L∨ZL \lor ZL∨Z
где LLL - "Катя любит писать сочинения", ZZZ - "Катя любит решать задачи".
Тише едешь - дальше будешь. T→DT \rightarrow DT→D
где TTT - "тише едешь", DDD - "дальше будешь".
Если число делится на 2, то оно - четное. D(2)→ED(2) \rightarrow ED(2)→E
где D(x)D(x)D(x) - "число делится на xxx", EEE - "число четное".
Земля движется по круговой или эллиптической орбите. C∨EC \lor EC∨E
где CCC - "Земля движется по круговой орбите", EEE - "Земля движется по эллиптической орбите".
Водительские права можно получить тогда и только тогда, когда тебе исполнится 18 лет. L↔AL \leftrightarrow AL↔A
где LLL - "водительские права можно получить", AAA - "тебе исполнится 18 лет".
Таким образом, все высказывания были переведены в логические выражения.
Давайте представим каждое из этих высказываний в виде логических выражений:
Число 17 нечетное и двузначное.
O(17)∧D(17)O(17) \land D(17)O(17)∧D(17)
где O(x)O(x)O(x) - "число xxx нечетное", D(x)D(x)D(x) - "число xxx двузначное".
Если Маша - сестра Саши, то Саша - брат Маши.
S(M,S)→B(S,M)S(M, S) \rightarrow B(S, M)S(M,S)→B(S,M)
где S(x,y)S(x, y)S(x,y) - "x - сестра y", B(x,y)B(x, y)B(x,y) - "x - брат y".
Голова думает тогда и только тогда, когда язык отдыхает.
D↔RD \leftrightarrow RD↔R
где DDD - "голова думает", RRR - "язык отдыхает".
На уроке физики ученики выполняли лабораторную работу и сообщали результаты исследований учителю.
L∧RL \land RL∧R
где LLL - "ученики выполняли лабораторную работу", RRR - "ученики сообщали результаты учителю".
Ты можешь купить в магазине продукты, если у тебя есть деньги.
D→PD \rightarrow PD→P
где DDD - "у тебя есть деньги", PPP - "ты можешь купить продукты".
При замерзании воды выделяется тепло.
F(W)→HF(W) \rightarrow HF(W)→H
где F(x)F(x)F(x) - "x замерзает", HHH - "выделяется тепло".
Неверно, что корова - хищное животное.
¬H(C)\neg H(C)¬H(C)
где H(x)H(x)H(x) - "x - хищное животное", CCC - "корова".
На уроке информатике необходимо соблюдать правила техники безопасности.
I→RI \rightarrow RI→R
где III - "на уроке информатике", RRR - "необходимо соблюдать правила техники безопасности".
Если на улице дождь, то асфальт мокрый.
R→MR \rightarrow MR→M
где RRR - "на улице дождь", MMM - "асфальт мокрый".
Если компьютер включен, то можно на нем работать.
C→WC \rightarrow WC→W
где CCC - "компьютер включен", WWW - "можно работать на компьютере".
Катя любит писать сочинения или решать задачи.
L∨ZL \lor ZL∨Z
где LLL - "Катя любит писать сочинения", ZZZ - "Катя любит решать задачи".
Тише едешь - дальше будешь.
T→DT \rightarrow DT→D
где TTT - "тише едешь", DDD - "дальше будешь".
Если число делится на 2, то оно - четное.
D(2)→ED(2) \rightarrow ED(2)→E
где D(x)D(x)D(x) - "число делится на xxx", EEE - "число четное".
Земля движется по круговой или эллиптической орбите.
C∨EC \lor EC∨E
где CCC - "Земля движется по круговой орбите", EEE - "Земля движется по эллиптической орбите".
Водительские права можно получить тогда и только тогда, когда тебе исполнится 18 лет.
L↔AL \leftrightarrow AL↔A
где LLL - "водительские права можно получить", AAA - "тебе исполнится 18 лет".
Таким образом, все высказывания были переведены в логические выражения.