перетащите допустимые логические выражения в левую колонку а недопустимые в правую
Информатика. 8 класс
Точка лежит в области, расположенной правее точки (−3)
Точка не принадлежит отрезку [−3,3]
Точка лежит в заштрихованной области
Точка не лежит в заштрихованной области
Точка лежит в заштрихованной области
Точка принадлежит отрезку [−2,2]
y>−2 and y −3 and x =−2 and x 2 or y>2 or y 3
Наташа удивлена. Выберите из предложенных фраз вопросы, на которые можно ответить «Да» или «Нет».
Что ты с этим будешь делать?
Тебе надо объяснить, что это?
Верные логические условия
Неверные логические условия
and (a,b) or and (c,d) > 0
Выберите типовую блок-схему, которая решает данную задачу.
Дано целое число. Если оно является положительным, то прибавить к нему 21; в противном случае не изменять его. Вывести полученное число.
Перетащите допустимые логические выражения в левую колонку а недопустимые в правую
Тема 3. Основы математической логики 1. Логические выражения и логические операции.
2. Построение таблиц истинности и логических функций.
3. Законы логики и преобразование логических выражений.
Лабораторная работа № 3. Основы математической логики.
1. Логические выражения и логические операции
Исследования в алгебре логики тесно связаны с изучением высказываний (хотя высказывание — предмет изучения формальной логики). Высказывание — это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель).
Простым высказыванием называют повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно.
Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.
Высказывания 1 и 3 являются истинными. Высказывание 2 – ложным , потому что число 27 составное 27=3*3*3.
Итак, отличительным признаком высказывания является свойство быть истинным или ложным, последние четыре предложения этим свойством не обладают.
С помощью высказываний устанавливаются свойства, взаимосвязи между объектами. Высказывание истинно, если оно адекватно отображает эту связь, в противном случае оно ложно.
Однако определение истинности высказывания далеко не простой вопрос. Например, высказывание «Число 1 +22 = 4294 967297 — простое», принадлежащее Ферма (1601-1665), долгое время считалось истинным, пока в 1732 году Эйлер (1707-1783) не доказал, что оно ложно. В целом, обоснование истинности или ложности простых высказываний решается вне алгебры логики. Например, истинность или ложность высказывания «Сумма углов треугольника равна 180°» устанавливается геометрией, причем в геометрии Евклида это высказывание является истинным, а в геометрии Лобачевского — ложным.
В булевой алгебре простым высказываниям ставятся в соответствие логические переменные, значение которых равно 1, если высказывание истинно, и 0, если высказывание ложно. Обозначаются логические переменные, большими буквами латинского алфавита.
Существуют разные варианты обозначения истинности и ложности логических переменных:
Сложные (составные) высказывания представляют собой набор простых высказываний (по крайней мере двух) связанных логическими операциями.
С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой (логическим выражением).
Связки «НЕ», «И», «ИЛИ» заменяются логическими операциями инверсия, конъюнкция, дизъюнкция. Это основные логические операции, при помощи которых можно записать любое логическое выражение.
Введем перечисленные логические операции.
В алгебре множеств конъюнкции соответствует операция пересечения множеств, т.е. множеству получившемуся в результате умножения множеств А и В соответствует множество, состоящее из элементов, принадлежащих одновременно двум множествам.