Запишите в виде логической формулы следующие высказывания

правила составления логических выражений

Логическая переменная — это простое высказывание, содержащее только одну мысль . Ее символическое обозначение — латинская буква (например, A , B , X , Y и т.д.). Значением логической переменной могут быть только константы ИСТИНА ( 1 ) и ЛОЖЬ ( 0 ). На основании простых высказываний могут быть построены составные высказывания .

Логическая функция — составное высказывание, которое содержит несколько простых мыслей , соединенных между собой с помощью логических операций.

Ее символическое обозначение — F ( A , B , …) .

Логические операции — логическое действие.

1. Проанализируем составное высказывание " Если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог " .

Обозначим буквой A высказывание: " Купить яблоки " , буквой B — высказывание: " Купить абрикосы " , буквой C — высказывание: " Испечь пирог " .

2. Запишем высказывание в виде логического выражения , высказывание " Если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог " формализуется в виде формулы: F= (A v B)=>C .

Записывать в виде логического выражения следующее высказывание: « Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку ».

1. Проанализируем составное высказывание . Оно состоит из следующих простых высказываний: « Петя поедет в деревню », « Будет хорошая погода », « Петя пойдет на рыбалку ». Обозначим их через логические переменные:

А = Петя поедет в деревню;

В = Будет хорошая погода;

С = Петя пойдет на рыбалку.

2. Запишем высказывание в виде логического выражения , учитывая порядок действий. Если необходимо, расставим скобки: F=A&(B=>C) .

Есть два простых высказывания: А — « Число 10 — четное »; В — « Волк — травоядное животное ». Составьте из них все возможные составные высказывания и определите их истинность.

Запишите следующие высказывания в виде логических выражений.

1. Число 17 нечетное и двузначное.

2. Неверно, что корова — хищное животное.

3. На уроке физики ученики выполняли лабораторную работу и сообщали результаты исследований учителю.

4. Если число делится на 2, то оно — четное.

5. Переходи улицу только на зеленый свет.

6. Если Маша — сестра Саши, то Саша- брат Маши.

7. Если компьютер включен, то можно на нем работать.

8. Водительские права можно получить, только когда исполнится 18 лет.

9. Компьютер выполняет вычисления, если он включен.

10. Ты можешь купить в магазине продукты, если у тебя есть деньги.

11. Тише едешь — дальше будешь.

12*. На уроке информатики необходимо соблюдать особые правила поведения.

13*. При замерзании воды выделяется тепло.

Составьте и запишите истинные сложные высказывания из простых с использованием логических операций.

  1. Неверно, что 10> Y > 5 и Z .
  2. Z является min ( Z , Y ).
  3. А является max ( A , B , C ).
  4. Любое из чисел X , Y , Z положительно.
  5. Любое из чисел P , T , R отрицательно.
  6. Хотя бы одно из чисел K , L , M не отрицательно.
  7. Хотя бы одно из чисел X , Y , Z не меньше 12.
  8. Все числа A , B , C равны 12.
  9. Если X делится на 9, то X делится и на 3.
  10. Если X делится на 2, то оно четное.
Читайте также:  Включить wifi адаптер через командную строку

Найдите значения логических выражений:

F 1 = (0 v 0) v ( 1 v 1 ).

F 2 = ( 1 v 1 ) v ( 1 v 0 ).

F 4 = ¬ 1 & (1 v 1) v ( ¬ 0&1).

F 5 = ( ¬ 1 v 1) & (1 v ¬ 1) & ( ¬ 1 v 0).

Даны высказывания: А — " Петя едет в автобусе ", В — " Петя читает книгу ", С — " Петя смотрит в окно ".

Составить формулы алгебры логики сложных высказываний:

1) «Неверно, что Петя едет в автобусе и читает книгу».

2) «Неверно, что Петя едет в автобусе, читает книгу или смотрит в окно».

3) «Петя не едет в автобусе, но при этом читает книгу или не смотрит в окно».

4) «Петя не едет в автобусе, не смотрит в окно — он читает книгу».

a) Запишите в виде формулы алгебры логики высказывание: «Если Алеша решит задачу, то Володя решит ее; если же Алеша не решит задачу, то об успехе Володи ничего определенного сказать нельзя — он может решить, а может не решить».

b) Запишите в виде формулы алгебры логики высказывание: «Если Ваня и Алеша проголосуют „за“, то Сережа поступит так же. В случае противоположного мнения у Вани и Алеши о мнении Сережи ничего определенного сказать нельзя».

Уровень знания: выучить основные определения, знать обозначения.

Задача 1 : Из двух простых высказываний постройте сложное высказывание, используя логические связки «И», «ИЛИ». Запишите логические высказывания с помощью логических операций и определите их истинность.

а) Андрей старше Светы. Наташа старше Светы.

б) Один десятый класс идет на экскурсию в музей. Второй десятый класс идет в театр.

в) На полке стоят учебники. На полке стоят справочники.

г) Часть детей — девочки. Остальные — мальчики.

Задача 2 : Для логических выражений сформулируйте составные высказывания на обычном языке:

Задача 3 : Какое логическое выражение соответствует высказыванию: « Точка X принадлежит интервалу (А; В) ».

Задача 4: Запишите на языке алгебры логики следующие высказывания:

а) Я поеду в Киев и если встречу там друзей, то мы интересно проведем время.

б) Если я поеду в Киев и встречу там друзей, то мы интересно проведем время.

Читайте также:  Входные и выходные данные паскаль

в) Неверно, что если погода пасмурная, то идет дождь тогда и только тогда, когда нет ветра.

Задача 5* : приведите примеры составных высказываний из приведенных ниже школьных предметов и запишите их с помощью логических операций: биология, литература, география, математика, информатика, история, русский язык.

Высказывание — это повествовательное предложение, относительно которого имеет смысл утверждать, что оно является истинным либо ложным. Таким образом, отличительной особенностью высказываний является возможность принимать одно из двух значений: истина — 1, ложь — 0. Эти значения называются истинностными значениями.

Например, высказывание «Москва — сто­лица Российской Федерации» является истинным, а высказывание «Вол­га впадает в Черное море» — ложным.

Примеры высказываний:

1. Москва — столица России.

2. Число 27 является простым.

3. Волга впадает в Каспийское море.

Высказывания 1 и 3 являются истинными. Высказывание 2 — ложным , потому что число 27 составное 27=3*3*3.

Следующие предложения высказываниями не являются:

· Давай пойдем гулять.

· .

· .

Итак, отличительным признаком высказывания является свойство быть истинным или ложным, последние четыре предложения этим свойством не обладают.

С помощью высказываний устанавливаются свойства, взаимосвязи между объектами. Высказывание истинно, если оно адекватно отображает эту связь, в противном случае оно ложно.

Примеры высказываний:

1. Сегодня светит солнце.

В алгебре логики логические связки и соответствующие им логические операции имеют специальные названия и обозначаются следующим образом:

Логическая связка Название логической операции Обозначения
не Отрицание, инверсия Ø,
и, а, но Конъюнкция, логическое умножение &, • , Ù
или Дизъюнкция, логическое сложение V, +
если . то Импликация, следование Þ,®
тогда и только тогда, когда эквивалентность, эквиваленция, равнозначность Û,

, º, «

Если несколько простых высказываний объединены в одно с помощью логических операций, то такое высказывание называется сложным.
Сложное высказывание Составляющие простые высказывания Форма сложного высказывания
Е = Идёт дождь, а у меня нет зонта А=Идёт дождь В = У меня есть зонт Е = А L ØВ
Е = Когда живётся весело, то и работа спорится А = Живётся весело В = Работа спорится Е = А Þ В
Е = Идёт налево — песнь заводит, направо — сказку говорит А = Идёт налево В = Идёт направо С = Песнь заводит D = Сказку говорит E=(A Þ C)V(B Þ D)

Мы всегда исходим из того, что для любого простого высказывания определено (известно), является ли оно истинным или ложным. По форме сложного высказывания и по таблицам истинности входящих в него логических операций всегда можно определить, истинное оно или ложное.

Читайте также:  Как быстро закончить школу

Реальную задачу, как правило, мы получаем в виде текста на естественном языке. И прежде, чем приступить к ее решению, мы должны выделить простые высказывания, отношения (связи) между ними и перевести их на язык формул (формализовать условие задачи, определить форму). Разберём примеры формализации сложных высказываний.

Примеры записи сложных высказываний с помощью обозначения логических связок:

1. «Быть иль не быть — вот в чем вопрос.» (В. Шекспир) А V A В

2. «Если хочешь быть красивым, поступи в гусары.» (К. Прутков) А => В

Пример 1.

Дано сложное высказывание: «Если выглянет солнце, то станет тепло». Требуется записать его в виде логической формулы.

Решение. Обозначим через А простое высказывание «выглянет солнце», а через В — «станет тепло». Тогда логической формулой этого сложного высказывания будет импликация: A ® B.

Пример 2.

1. Даны высказывания
A — Идет дождь.
B — Прогулка отменяется.
C — Я вымокну.
D — Я останусь дома.

а) Запишите сложное высказывание на языке алгебры логики:
Я не вымокну, если на улице нет дождя или если прогулка отменяется и я останусь дома.

б) Переведите следующее сложное высказывание на русский язык:
А и (не В или не D) → C
Решение:

а) Первая часть предложения «Я не вымокну» соответствует высказыванию D, «на улице нет дождя» соответствует отрицанию высказывания А, «прогулка отменяется» — событию В, «я останусь дома» — событию С.

Учтем связки, которые соответствуют логическим операциям: если. то... — импликация, или — дизъюнкция, и — конъюнкция.

Тогда получим следующую логическую формулу:

б) Подставим вместо высказываний A, B, D, C соответствующие им части предложения, взяв вместо D и B их отрицания. Логическая связка импликация соответствует — если, то.

Согласовывая все части предложения получаем: Идет дождь, и если прогулка не отменяется или я не останусь дома, то я вымокну.

Дата добавления: 2016−10−27 ; просмотров: 2829 | Нарушение авторских прав

Если Иванов здоров и богат, то он здоров.
Число является простым, если оно делится только на единицу и само на себя.
Если число делится на 4, то оно делится и на 2.
Произвольно взятое число либо делится на 2, либо делится на 3.
Спортсмен подлежит дисквалификации, если он некорректно ведет себя по отношению к сопернику или судье, и если он принимал «допинг».

Оцените статью
Adblock detector