Основы логики, таблицы истинности
Составление логических выражений из высказываний. Истинность сложного высказывания при значениях входящих переменных. Последовательность действий построения таблиц истинности. Нахождение значения логических выражений путем построения таблиц истинности.
| Рубрика | Философия |
| Вид | конспект урока |
| Язык | русский |
| Дата добавления | 25.01.2014 |
| Размер файла | 31,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Урок по теме "Основы логики, таблицы истинности"
Тема: Как построить таблицу истинности?
Продолжительность урока: 40 мин.
Тип урока: комбинированный:
· проверка знаний - устная работа;
· новый материал - лекция;
· закрепление - практические упражнения;
· проверка знаний - задания для самостоятельной работы.
Цели урока:
1. Обучающие:
1. Научить составлять логические выражения из высказываний.
2. Ввести понятие “таблица истинности”.
3. Изучить последовательность действий построения таблиц истинности.
4. Научить находить значение логических выражений посредством построения таблиц истинности.
2. Развивающие:
1. Развивать логическое мышление.
2. Развивать внимание.
3. Развивать память.
4. Развивать речь учащихся.
3. Воспитательные:
1. Воспитывать умение слушать учителя и одноклассников.
2. Воспитывать аккуратность ведения тетради.
3. Воспитывать дисциплинированность.
План урока:
1. Организационный момент (2 мин).
2. Повторение материала предыдущего урока +проверка домашнего задания (устный опрос) (5 мин).
3. Объяснение нового материала (10 мин).
4. Физкультминутка (1 мин).
5. Закрепление.
o разбор примера (5 мин);
o практические упражнения (10 мин);
o задания для самостоятельной работы (5 мин).
6. Обобщение урока, домашнее задание (2 мин).
Оборудование и программный материал:
· белая доска;
· раздаточный справочный материал “Таблицы истинности”;
· демонстрация презентации “Таблицы истинности”.
Ход урока.
1. Организационный момент:
· Приветствие.
· Проверка отсутствующих в классе.
· Объявление оценок за прошлый урок.
2. Повторение материала предыдущего урока + проверка домашнего задания.
3 учащихся работают по карточкам:
Соедините правильные определения или обозначения:
Таблица 1
|
1. Логика |
1. |
|
|
2. Высказывание |
2. Логическое сложение |
|
|
3. Алгебра логики |
3. Наука о формах и способах мышления |
|
|
4. Логическая переменная |
4. Логическое отрицание |
|
|
5. Дизъюнкция |
5. ИСТИНА и ЛОЖЬ |
|
|
6. Инверсия |
6. |
|
|
7. Конъюнкция |
7. |
|
|
8. Импликация |
8. Наука об операциях над высказываниями |
|
|
9. Эквивалентность |
9. Повествовательное предложения, в котором что-либо утверждается или отрицается, которое может быть истинным или ложным |
Остальные устно.
1) Примеры записаны на доске:
1) Для логических выражений сформулируйте составные высказывания на обычном языке:
А) (Y>1 и Y<3) или (Y<8 и Y>4) (Ответ: число Y принадлежит промежутку (1,3) и (4,8)).
Б) (X=Y) и (X=Z). (Ответ: числа X, Y и Z равны между собой).
2) Приведите примеры составных высказываний из школьных предметов и запишите их с помощью логических операций: литература, биология, география, история.
Какие логические связки вы использовали? (Инверсия, дизъюнкция и конъюнкция).
Мы увидели, что логика достаточно крепко связана с нашей повседневной жизнью, а также увидели, что почти любое высказывание можно записать в виде формулы.
Давайте вспомним основные определения и понятия:
3. Объяснение нового материала
Из составного высказывания составьте формулу, заменяя простые высказывания переменными.
Задача: В классе оказалось разбито стекло. Учитель объясняет директору: это сделал Коля или Саша. Но Саша этого не делал, так как в это время сдавал мне зачет. Следовательно, это сделал Коля.
Решение: Формализуем данное сложное высказывание:
К - это сделал Коля; С - это сделал Саша.
Форма высказывания:
На прошлом уроке мы находили значение составного высказывания путем подстановки исходных значений входящих логических переменных. А сегодня мы узнаем, что можно построить таблицу истинности, которая определяет истинность или ложность логического выражения при всех возможных комбинациях исходных значений простых высказываний (логических переменных) и, что можно определить значения исходных логических переменных, зная какой нам нужен результат.
Итак, тема сегодняшнего урока: «Как построить таблицу истинности?»
Мы уже несколько уроков подряд используем понятие “таблица истинности”? так что же такое таблица истинности?
Таблица истинности - это таблица, истинность сложного высказывания при всевозможных значениях входящих переменных.
Еще раз рассмотрим наш пример
истинность таблица логический построение
и построим таблицу истинности для этого составного высказывания
При построении таблиц истинности есть определенная последовательность действий. Давайте запишем.
1. Необходимо определить количество строк в таблице истинности.
· количество строк = 2n, где n - количество логических переменных.
2. Необходимо определить количество столбцов в таблице истинности.
· количество столбцов = количеству логических переменных + количество логических операций.
· Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов (¬, &, V);
3. Заполнить столбцы входных переменных наборами значений.
4. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.
Таблица 2
|
К |
С |
|||||
|
0 |
0 |
1 |
0 |
0 |
1 |
|
|
0 |
1 |
0 |
1 |
0 |
1 |
|
|
1 |
0 |
1 |
1 |
1 |
1 |
|
|
1 |
1 |
0 |
1 |
0 |
1 |
4. Физкультминутка.
5 Закрепление.
o разбор примера.
o практические упражнения.
o задания для самостоятельной работы.
Построить таблицы истинности для таких составных высказываний:
А)
Таблица 3
|
А |
В |
|||
|
0 |
0 |
0 |
1 |
|
|
0 |
1 |
0 |
0 |
|
|
1 |
0 |
0 |
0 |
|
|
1 |
1 |
1 |
0 |
Б)
Таблица 4
|
А |
В |
||||
|
0 |
0 |
1 |
0 |
1 |
|
|
0 |
1 |
0 |
1 |
0 |
|
|
1 |
0 |
1 |
1 |
1 |
|
|
1 |
1 |
0 |
1 |
0 |
В)
Таблица 5
|
А |
В |
С |
||||
|
0 |
0 |
0 |
1 |
0 |
0 |
|
|
0 |
0 |
1 |
1 |
1 |
1 |
|
|
0 |
1 |
0 |
0 |
0 |
0 |
|
|
0 |
1 |
1 |
0 |
0 |
0 |
|
|
1 |
0 |
0 |
1 |
0 |
1 |
|
|
1 |
0 |
1 |
1 |
1 |
1 |
|
|
1 |
1 |
0 |
0 |
0 |
1 |
|
|
1 |
1 |
1 |
0 |
0 |
1 |
Задание для самостоятельной работы «Кто быстрей?»
Заготовленные карточки учащимся, в которой надо провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.
Ответ:
Таблица 6
|
А |
В |
С |
|
|
|||
|
0 |
0 |
0 |
1 |
0 |
1 |
0 |
|
|
0 |
0 |
1 |
0 |
0 |
0 |
1 |
|
|
0 |
1 |
0 |
1 |
0 |
1 |
0 |
|
|
0 |
1 |
1 |
0 |
0 |
0 |
1 |
|
|
1 |
0 |
0 |
1 |
0 |
1 |
0 |
|
|
1 |
0 |
1 |
0 |
0 |
0 |
1 |
|
|
1 |
1 |
0 |
1 |
1 |
1 |
0 |
|
|
1 |
1 |
1 |
0 |
1 |
1 |
0 |
6 Обобщение урока, домашнее задание (2 мин).
На этом уроке мы закрепили понятие «таблицы истинности», познакомились с алгоритмом построения таблиц истинности, а также научились строить их для составных высказываний, не вникая в смысл самого высказывания.
Д/З не задается, так как урок спаренный, дети приходят через урок и продолжаем изучать тему «Основы логики и логические основы компьютера».
Размещено на Allbest.ru
...Подобные документы
Выполнение логических действий. Запись выражения на языке логики высказываний. Составление таблиц истинности. Тавтологически истинное рассуждение. Использование кругов Эйлера. Определение соотношения объемов понятий. Индуктивное и дедуктивное рассуждения.
контрольная работа [18,6 K], добавлен 21.11.2013Предмет логики, ее значение и виды. Особенности определения истинности сложного суждения по таблице истинности. Построение фигуры категорического силлогизма на основании посылки: "Все люди – смертны". Путь формирования логической культуры мышления.
контрольная работа [12,2 K], добавлен 07.12.2009Порядок формирования таблицы истинности. Упрощение посылок и заключений, приведение их к базисному множеству. Доказательство истинности заключения методом дедуктивного вывода и резолюции с построением соответствующих графов. Исчисление предикатов.
курсовая работа [137,1 K], добавлен 21.11.2012Проблема истинности. Критерии истинного знания. Принцип верификации в позитивизме. Ограниченность верификационного критерия. Критерий фальсификации К. Поппера. Основные подходы в понимании и отражении проблемы истинности.
курсовая работа [27,8 K], добавлен 26.01.2007Предмет и цели изучения логики. Понятие и основные концепции истины. Решение задач с помощью "кругов Эйлера". Формализация сложного суждения и построение таблиц истинности. Определение пар суждений, находящихся в отношении противоречия и подчинения.
контрольная работа [116,4 K], добавлен 16.10.2016Основные законы и принципы логики. Логические таблицы истинности. Определение правильности умозаключения методом от противного, вида понятия по количественной характеристике его объема. Собирательные и несобирательные, конкретные и абстрактные понятия.
контрольная работа [125,1 K], добавлен 29.08.2012Логика как наука о законах и формах мышления, предмет и методы ее исследования. Логические выражения и его основные формы. Логические операции и таблицы истинности. Порядок и главные этапы выполнения таких операций в сложном логическом выражении.
презентация [84,3 K], добавлен 28.12.2010Силлогизм - дедуктивное умозаключение, в котором из двух категорических высказываний выводится одно новое. Диаграмма Эйлера для терминов: государство, республика, монархия. Построение таблицы истинности для формулы. Определение фигуры и модуса силлогизма.
контрольная работа [80,2 K], добавлен 29.03.2010Аналитическая ретроспектива онтологической истинности феномена человеческой духовности в философии Возрождения и Нового времени, человеческая духовность в русской религиозной философии. Познание онтологической истинности феномена человеческой духовности.
диссертация [227,2 K], добавлен 03.06.2010Определение признаков понятия "безопасность". Принципы деления обязательства на односторонние, альтернативные, долевые и солидарные по правилам соразмерности и непрерывности. Установление отношений между суждениями А и В при помощи таблицы истинности.
контрольная работа [120,8 K], добавлен 05.01.2012Отношения между понятиями. Совместимость и несовместимость. Сложное суждение. Импликация, эквиваленция, отрицание. Таблицы истинности. Умозаключение по аналогии. Виды аналогий. Пересечение (перекрещивание), подчинение (субординация), противоположность.
контрольная работа [114,0 K], добавлен 05.03.2016Изображение с помощью круговой схемы отношений между заданными понятиями. Обоснование правильности деления животных на классы по правилам непрерывности и соразмерности. Установление отношений между простыми суждениями А и В при помощи таблицы истинности.
контрольная работа [140,9 K], добавлен 05.01.2012Сравнение, его применение на уровне научного познания и художественного отображения действительности. Характеристика как вид неявного определения. Описание части религиозной службы. Вид сложного умозаключения, его проверка при помощи таблицы истинности.
контрольная работа [37,7 K], добавлен 12.11.2010Логическая характеристика некоторых понятий. Круговые схемы логических отношений между понятиями. Объединенная классификация суждений, анализ их истинности при помощи "логического квадрата". Проверка правильности простого категорического силлогизма.
контрольная работа [103,9 K], добавлен 29.11.2010Изучение конкретных, пустых, абстрактных и общих понятий. Поиск отрицательных предикат в заданных суждениях и преобразование умозаключений в энтимемы. Построение таблиц истинности. Анализ способов аргументации формы обоснования апагогических тезисов.
контрольная работа [40,1 K], добавлен 03.02.2010Изучение логической структуры доказательства - логической процедуры установления истинности какого-либо утверждения при помощи других утверждений, истинность которых уже установлена. Виды доказательства и опровержение. Условия и правила доказательства.
реферат [30,2 K], добавлен 20.09.2010Содержание некоторых понятий, обобщения и ограничения данного понятия. Схема отношений определяемого понятия и определяющей части определения. Отображение отношений между простыми суждениями при помощи таблицы истинности, непосредственное умозаключение.
контрольная работа [27,1 K], добавлен 16.10.2010Объединенная классификация суждений, их схемы и принятые в логике обозначения. Составление таблицы истинности, разбор силлогизма. Логический вывод сложной деструктивной дилеммы. Формально-логический закон и его нарушение. Логическая схема умозаключения.
контрольная работа [36,2 K], добавлен 04.08.2013Основные методологические принципы логики. Выражение суждений на языке предикатов. Дедуктивные умозаключения, категорический силлогизм. Аргументация и доказательство, правила построения логических правил. Проблема и гипотеза, управленческое решение.
курс лекций [160,1 K], добавлен 12.10.2009Спор и его значение в жизни, в науке, в государственных и общественных делах. Сопоставление точек зрения. Спор из-за истинности мысли, из-за доказательства, средоточенный, бесформенный, одиночный и сложный, для слушателей и для разъяснения истины.
реферат [24,2 K], добавлен 05.02.2012
