Практическое занятие №6. Тема: Упрощение формул логики

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

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

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

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

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

1. Что такое равносильные выражения?
2. Перечислить Равносильности, выражающие одни логические операции через другие.

3. Устно Пусть a = “это утро ясное”, а b = “это утро теплое”. Выразите следующие формулы на обычном языке:

Ответ:

а) “это утро ясное и тёплое”; ж) “это утро не ясное или не тёплое”;

б) “это утро ясное и оно не тёплое”; з) “это утро не ясное и не тёплое”;

в) “это утро не ясное и оно не тёплое”; и) “это утро ясное или не тёплое”;

г) “это утро не ясное или оно тёплое”; к) “если это тро ясное, то оно не тёплое”;

д) “это утро ясное или оно не тёплое”; л) “если это утро не ясное, то оно тёплое”;

е) “это утро не ясное или оно не тёплое”; м) “это утро ясное и не тёплое”.