
- •Лабораторная работа 4
- •Логическая информация и основы логики. Решение логических задач.
- •3.2 Алгебра высказываний. Основные логические операции и их таблицы истинности.
- •3.3 Построение таблиц истинности для сложных логических выражений.
- •3.4 Логические функции
- •3.5 Построение таблиц истинности логических функций и выражений.
- •3.6.Логические законы и правила преобразования логических выражений
- •5 Законы де Моргана.
- •3.7 Решение логических задач
- •3.7.1 Рассмотрим решение логических задач средствами алгебры логики
- •3.7.2 Решение логических задач с помощью рассуждений
- •3.7.3 Решение логических задач табличным способом
- •Рекомендации по оформлению отчета.
- •Контрольные вопросы
- •Прило жение а – Общие задачи
Рекомендации по оформлению отчета.
Лабораторно-практическая работа оформляется в соответствии с ГОСТ 2.105-95 и требованиями, принятыми в колледже. Отчет должен содержать:
вид работы
название работы
цель работы
средства обучения
формулировка задания и процесс его выполнения
вывод по работе.
Контрольные вопросы
Какие существуют основные формы мышления: ответ: логика, понятие, высказывание, умозаключение
Что мы называем понятием, суждением, умозаключением? Приведите примеры. Ответ: Понятие-это форма мышления, фиксирующая основные, существенные признаки объекта. Умозаключение-это форма мышления, с помощью которой из одного или нескольких суждений(посылок) может быть получено новое суждение(заключение)
Как обозначают значение истинности и ложности суждений (высказывания)? Ответ: Операция, выражаемая словом «не», называется отрицанием (инверсией) и обозначается чертой над высказыванием(или знаком ¬) Операция, выражаемая связкой «и», называется конъюнкцией или логическим умножением и обозначается такой "·" (может также обозначаться знаком ^ или &) Или Операция, выражаемая связкой «или» ( в не исключающем смысле этого слова), называется дизъюнкцией или логическим сложением и обозначается знаком v (или +)
Какие суждения являются общими? Приведите примеры частных и общих суждений. Ответ: Общие те, которые говорят о чем-либо в общем, а частные- говорят о чем-то конкретном.
Какие приемы вывода умозаключений вы знаете? Ответ: Примером умозаключения могут быть геометрические доказательства. Например, если мы имеем суждение «Все углы треугольника равны», то мы можем путем умозаключения доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний»
Что такое простое и сложное суждения? Приведите пример, как из простых суждений образовать сложное. Ответ: Сложные суждения состоят из простых (элементарных- сейчас идет дождь и форточка открыта). Составные высказывания строятся из простых с помощью логических связок( операций) «и», «или», «не», «если…то», «тогда и только тогда» и др.
Что такое квантор? Какие кванторы вы знаете? Их обозначения? Ответ: Квантор- (“x,(“x),(x),(Ax))- логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения.
Какие логические операции вы знаете? Ответ: Не. Или. И
Какие логические функции вы знаете? Ответ: Эквиваленция. Логическое сложение; Логическое отрицание для аргумента; Логическое отрицание для аргумента; Импликация.
Для чего нужны Логические законы. Перечислите их. Ответ: Законы логики отражают наиболее важные закономерности логического мышления. Законы: законы тождества, законы непротиворечия, закон исключенного третьего, законы двойного отрицания, законы де Моргана, законы коммутативности , закон ассоциативности, закон дистрибутивности.
Какими способами можно решить логические задачи? Ответ: -Средством алгебры логики - С помощью рассуждения - Табличный - С помощью графиков