Практическое занятие №2. Тема: Формализация логических высказываний

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

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

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

• уметь выяснять, равносильны ли данные формулы исчисления высказываний;

• уметь выполнять основные логические операции отрицание, дизъюнкцию, конъюнкцию, импликацию, эквиваленцию и знать порядок их выполнения;

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

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

1. Что такое силлогизмы?
2. Какие ученые внесли большой вклад в развитие математической логики?
3. Какие суждения графически изображены в диаграмме Эйлера-Венна?
4. Приведите примеры составных высказываний, используя логические связки «и», «или».
5. Дайте определение понятий «конъюнкция», «дизъюнкция».

Задания для практического занятия и инструктаж по их выполнению

1. Записать теоретические сведения в тетрадь.
2. Прочитать материал презентации по данной теме Логика3.ppt раздел 3.2 Логические операции.
3. Разобрать примеры.
4. Выполнить письменно практические задания по данной теме.