Сумцова Ольга Владимировна Логические основы построения компьютера Темы игры: Основные понятия формальной логики. Логические операции. Логические схемы закон

Вид материалаЗакон
Подобный материал:

МОУ Тополинская СОШ






Логические основы построения компьютера


учитель

Сумцова Ольга Владимировна




Логические основы построения компьютера

Темы игры:


Основные понятия формальной логики.


Логические операции.


Логические схемы.


Законы логики.


I тур

Основные понятия формальной логики.

100. Что такое логика? (наука о законах и формах мышления)

200. Что такое утверждение? (суждение, которое требуется доказать или опровергнуть)

300. Что такое рассуждение? (цепочка высказываний или утверждений, определенным образом связанных друг с другом)


Логические выражения.

100. Определите истинность выражения: «Все медведи бурые». (ложно)

200. (Кот в мешке) Определите истинность выражения: «Число 11 является простым». (истинно)

300. Из двух простых высказываний составьте сложное высказывание.
  1. Андрей старше Светы.
  2. Наташа старше Светы.

(Андрей старше Светы и Наташа старше Светы)


II тур

Логические операции.

100. Дайте название логической операции, которая определяет соединение двух логических выражений (высказываний) с помощью союза И. (логическое умножение).

200. (Аукцион) Дайте название логической операции, которая определяет соединение двух логических выражений (высказываний) с помощью союза ИЛИ. (логического сложения)

300. Дайте определение логического отрицания. (определяется над одним аргументом (простым или сложным логическим выражением)


Логические схемы.

100. Какой логический элемент изображен на рисунке? (конъюнктор)


&

А


А

В




200. Какой логический элемент изображен на рисунке? (дизъюнктор)


1


В




300. Какой логический элемент изображен на рисунке? (инвентор)


А

В







III тур

Основные понятия формальной логики.

100. Что такое логическое выражение? (логическое выражение представляет собой запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины)

200. (Кот в мешке) Среди предложений выделите высказывание:
  1. Какой длины эта лента?
  2. Париж – столица Англии.
  3. Сложите числа 2 и 5.

(второе)

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


Логические операции

100. Дайте название логической операции, которая связывает два простых логических выражения, из которых первое является условием, а второе следствием из этого условия (логическое следование)

200. Дайте название логической операции, которая определяет результат сравнения двух простых логических выражений. (эквивалентность)

300. Какие значения могут принимать логические выражения? (истина или ложь)


Финал.

Запишите следующее выражение в виде высказывания: «Число 17 нечетное и двузначное». (А и В) или (А В)


Презентация