2.Структура та функції умовиводу

Структура умовиводу:  1. Судження, з яких виводиться остання думка - посилка.  2. Судження, яке виводиться з попередніх думок, - висновок.  3. Логічний зв'язок між 1 і 2 – логічна зв'язка, що висловлюється словами «отже», «тому», «значить», «оскільки», «бо».  Умовивід має наступні функції:  1. Евристична – отримання нових думок і знань з опорою на ті,що вже є.  Це можливість самостійно «відкривати» нові знання, оволодівати новими прийомами діяльності.  2. Критична – аналіз обґрунтованості і істинності думок.  3. Риторична – пошук переконливих аргументів для доказу своєї точки зору, своєї думки.

Лекція №11

Тема: Поняття про контактно-релейні схеми.

План

1. Означення контактно – релейної схеми

2. Приклади задач

Література

Інтернет - джерело: http://www.logica2006.narod.ru/rks.htm

Зміст

1. Означення контактно – релейної схеми

Релейно-контактні схеми (часто називають перемикачів схемами) широко використовуються в техніці автоматичного управління.

Під перемикальною схемою розуміють схематичне зображення деякого пристрою, що складається з наступних елементів:

 1) перемикачів, якими можуть бути механічні пристрої, електромагнітні реле, напівпровідники і т.д.;

2) з'єднують їх провідники;

3) входи в схему і виходи з неї (клеми, на які подається електрична напруга). Вони називаються полюсами.

Найпростіша схема містить один перемикач Р і має один вхід А і один вихід В. Перемикачі Р поставимо відповідно висловлювання р, що говорить: - "Перемикач Р замкнутий". Якщо р істинне, то імпульс, що надходить на полюс А, може бути знятий на полюсі В без втрати напруги, тобто схема пропускає струм. Якщо р помилково, то перемикач розімкнений і схема струму не проводить. Таким чином, якщо взяти до уваги не сенс висловлювання, а тільки його значення, то можна вважати, що будь-якого висловлення може бути поставлена ​​в відповідність Переключательная схема з двома полюсами (двополюсна схема).

Формулами, що включає основні логічні операції, також можуть бути поставлені у відповідність перемикальні схеми.

Так, кон'юнкції двох висловлювань p λ q ставиться у відповідність схема:

а диз'юнкції pVq - схема:

Так як будь-яка формула може бути записана в ДНФ або КНФ, то ясно, що кожній формулі алгебри логіки можна поставити у відповідність деяку РКС, а кожній РКС можна поставити у відповідність деяку формулу алгебри логіки.

2.Приклади задач

Приклад 1. За даною формулою скласти РКС.  Рішення. Спростимо дану формулу за допомогою рівносильних перетворень:  

Отримали РКС для даної формули.  Приклад 2. Спростити РКС:

Рішення. Складемо з даної РКС формулу (функцію провідності) і спростимо її: (до останніх двох доданком застосували закон поглинання). Тоді спрощена схема виглядає так:

Лекція №12,13

Тема: Застосування математичної логіки в техніці

План

1. Застосування математичної логіки в техніці

Література:

Інтернет – джерело: http://www.csom.ru/category/articles/matematicheskaya_logika_v_tehnike.html

Зміст