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

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

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

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

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

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

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

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

1. Что значит формализовать высказывание?
2. Сколько будет строк в таблице истинности, если в высказывание 2 переменных? 3 переменных?
3. Дать определение импликации.
4. Что такое эквивалентность?
5. Определите тип высказывания и вид логической операции с соответствующей логической связкой:

а) Всякий прямоугольник имеет прямые утлы и параллельные противоположные стороны;

б) Треугольники с равными сторонами не являются равнобедренными;

в) На следующем уроке будет либо история, либо химия;

г) Завтра я пойду в школу и библиотеку;

д) Либо он заболел, либо забыл о нашей договорённости;

е) Утром мы обычно ходим на лыжах или катаемся на коньках.