Алгебра высказываний

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

Задачи:

• Актуализировать основные понятия формальной логики, а также правила записи.

• Актуализировать правила нахождения результатов логических операций.

• Развивать логическое мышление, а также представлять информацию в различных формах записи.

• Воспитывать дружеское отношение в классе, умение слышать, анализировать и подходить критически к мнению других.

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

Другие дидактические материалы презентация, интерактивная игра “Собери слова”, созданная в Visual Basic 6.0.

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

1. Организационный момент (1 минута)

2. Запись домашнего задания (1 минута)

3. Проверка домашнего задания (5 минут)

4. Работа с интерактивной доской, выполнение заданий на повторение (10 минут)

5. Решение логических задач (10 минут)

6. Работа с интерактивной игрой “Собери слова” (10 минут)

7. Рефлексия обучающихся (3 минуты)

2. Запись домашнего задания.

Придумать свои примеры и формализовать. Повторить определения. Найти информацию о Джордже Буле.

3. Проверка домашнего задания.

Опрос учащихся знаний основных терминов формальной логики. На карточках написаны термины, несколько учеников подходят к учителю читают понятие и дают определение (5 минут).

• Что такое понятие?
• Что такое суждение?
• Что такое умозаключение?
• Что такое высказывание?
• Какое высказывание называем простым?
• Какое высказывание называнием сложным?
• Какие логические операции вы знаете?
• Перечислите приоритет выполнения операций?

4. Работа с интерактивной доской, выполнение заданий на повторение (15 минут)

Слайд 1. Кто является основателем формальной логики. Даны портреты философов, необходимо с помощью инструменты Ластик открыть нужное имя.

Аристотель, Архимед, Платон, Пифагор.
Ответ: Аристотель (1 картинка)

Слайд 2. Соединить фамилии философов и науку, которой они были основателями.

По определению “отца” логики – древнегреческого философа Аристотеля, предметом этой науки был вывод одних умозаключений из других сообразно их логической форме. Великий немецкий философ Иммануил Кант противопоставил формальной логике трансцендентальную. Если Аристотель соотносил суждения по их логической формуле (образно говоря. По структуре и количественным характеристикам), то Кант ввел в оборот понятие “логическое содержание” (качество понятий). Другой великий немецкий философ, Герог Вильгельм Фридрих Гегель, разработал основы диалектической логики, главной задачей которой было исследование развития человеческого мышления и познания.

Слайд 3. Запишите высказывания с помощью формальной логики:

1) У меня хорошее настроение, если на улице отличная погода

А – хорошее настроение
В – отличная погода
В -> А

2) Если я получу отметку "5", то меня похвалит мама

А: Получу отметку “5”
В: Похвалит мама
А -> В

3) Мы поедем на природу, будем отдыхать и веселиться

А: поедем на природу

В: будем отдыхать

С: будем веселиться

А -> (В и С)

Слайд 4. Запишите следующие формулы на обычном языке: А – дом деревянный, В – дом одноэтажный

Дом деревянный и одноэтажный

дом не деревянный и не одноэтажный

дом деревянный или не одноэтажный

неверно, что дом деревянный или одноэтажный

если дом деревянный, то он не одноэтажный

неверно, что если дом деревянный, то он не одноэтажный

Слайд 5. Формализуйте предостережение

"Если ты будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя возненавидят боги. Но ты должен говорить или лгать. Значит, тебя возненавидят люди или возненавидят боги".

А: ты будешь говорить правду;
В: тебя возненавидят люди;
С: тебя возненавидят боги.

Слайд 6. Соберите все подформулы данной формулы.