Практическое занятие №1. Перечень практических работ

Перечень практических работ

Практическое занятие №1. 2

Тема: Определение истинности высказываний. 2

Практическое занятие №2. 5

Тема: Формализация логических высказываний. Логические операции над высказываниями. 5

Практическое занятие №3. 12

Тема: Составление таблиц истинности для формулы логики высказываний. Тавтология алгебры высказываний. 12

Практическое занятие №4. 16

Тема: Построение таблиц истинности в Excel. 16

Практическое занятие №5. 20

Тема: Логическая равносильность формул. 20

Практическое занятие №6. 25

Тема: Упрощение формул логики. Законы алгебры логики. 25

Практическое занятие №7. 31

Тема: Решение логических задач: методом рассуждений, табличным методом и средствами алгебры логики. 31

Практическое занятие №8. 39

Тема: Операции над множествами: пересечение, объединение, разность, дополнение. Декартовое произведение множеств. 39

Практическое занятие №9. 43

Тема: Основные свойства множеств: идемпотентность, коммутативность, ассоциативность, законы поглощения, дистрибутивность. 43

Практическое занятие №10. 46

Тема: Логические операции над предикатами. 46

Практическое занятие №1

Тема: Определение истинности высказываний

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

Основные умения и навыки, которыми должны овладеть студенты в процессе изучения этой темы:

• уметь отличать высказывание от не высказывания;

• уметь выявлять логическую структуру сложного предложения;

• владеть наиболее распространенными схемами доказательств утверждений (методом от противного, приведе­ние контрпримера и т.д.);

• уметь определять истинность сложного предложения в зависимости от истинности составляющих элементарных высказываний.

Вопросы для актуализации опорных знаний:

1. Объясните значения слов "логика", "формальная логика", "алгебра логики".

2. Чем отличается формальная логика от "обычной", бытовой?

3. Что такое высказывание?

4. Что изучает формальная логика?

5. Что изучает математическая логика?