Данного реферата «Основы логики и решение логических задач». Выбор темы был обусловлен желанием научиться решать логические задачи и изучить раздел математики «Логика»

Логическое отрицание (инверсия) Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией. Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное - истинным. Пусть А = «Два умножить на два равно четырем» истинное высказывание, тогда высказывание F, образованное с помощью операции логического отрицания, «Два умножить на два не равно четырем» - ложно. Операцию логического отрицания (инверсию) над логическим высказыванием А принято обозначать А. Образуем высказывание F, являющееся логическим отрицанием А. F=А. Истинность такого высказывания задается таблицей истинности функции логического отрицания. Таблица истинности функции логического отрицания А F=А 0 1 1 0 Истинность высказывания, образованного с помощью операции логического отрицания, можно легко определить с помощью таблицы истинности. Например, высказывание «Два умножить на два не равно четырем» ложно (А=0), а полученное из него в результате логического отрицания высказывание «Два умножить на два равно четырем» истинно (F=1). Сделаем вывод. Алгебра в широком смысле этого слова – наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над различными математическими объектами. Объектами алгебры логики являются высказывания. Глава 3. Формы представления логических выражений. Логические выражения. Каждое составное высказывание можно выразить в виде формулы (логическое выражение), в которую войдут логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции. Для записи составных высказываний в виде логических выражений на формальном языке (языке алгебры логики) в составном высказывании нужно выделить простые высказывания и логические связи между ними. Запишем в форме логического выражения составное высказывание «2*2=5 или 2*2=4 и 2*2=5 или 2*2=4». Проанализируем составное высказывание. Оно состоит из двух простых высказываний: А = «2*2=5» - ложно (0), В = «2*2=4» - истинно (1). Тогда составное высказывание можно записать в следующей форме: «А или В и А или В». Теперь необходимо записать высказывание в форме логического выражения с учетом последовательности выполнения логических операций. При выполнении логических операций определен следующий порядок их выполнения: инверсия, конъюнкция, дизъюнкция. Для изменения указанного порядка могут использоваться скобки. F = (АvВ)&(АvВ). Истинность или ложность составных высказываний можно определять чисто формально, руководствуясь законами алгебры высказываний. Подставим в логическое выражение значения логических переменных и, используя таблицы истинности базовых логических операций, получим значение логической функции: F = (0v1)&(АvВ) = (0v1)&(1v0)=1&1 = 1.

Похожие:

	«Логические законы и правила преобразования логических выражений» Основы логики и логические основы компьютера в профильном курсе «Информатика и икт» / Разработка уроков. Автор-составитель Войтикова...		Конспект урока Тема: Алгебра логики. Решение задач с элементами алгебры логики Планируемый результат: учащиеся решат задачу на движение, используя ос решения текстовой задачи, продемонстрируют уровень усвоения...
	«Основные логические элементы» Данный урок является частью темы «Алгебра логики». Необходимость изучения данной темы обусловлена значением переключательных схем...		Решение для задач нового вида. Задачи: Учить решать и различать задачи... Цель: Создать условия для того, чтобы ученики сами нашли решение для задач нового вида
	Программа по формированию навыков безопасного поведения на дорогах... Цель: изучить законы логики, формировать умение применять логические законы при упрощении логических выражений		Презентация «Решение задач с помощью кругов Эйлера». Презентация... Интегрированное занятие математического кружка (математика + информатика) в 5-м классе по теме "Решение задач с помощью кругов Эйлера....
	Программа по формированию навыков безопасного поведения на дорогах... Тема урока: Основы алгебры логики. Логические выражения. Составление таблиц истинности логических выражений		2. Основы логики и логические основы компьютера Основы логики. Основные... Информационные процессы в живой природе, обществе и технике: получение, передача, преобразование, хранение и использование информации....
	Научно-исследовательская работа «методы решения логических задач» Логика нужна любому специалисту, будь он математик, медик или биолог. Логика – это необходимый инструмент, освобождающий от лишних,...		«Решение логических задач» Этот реферат. Я считаю, что в этом реферате доступно объяснена основа формальной логики
	Программа по формированию навыков безопасного поведения на дорогах... Фгоу впо сибгути. Раздел 1 Основы теории множеств. Раздел 2 Формулы логики. Раздел 3 Булевы функции. Раздел 4 Предикаты и бинарные...		Работа большинства устройств компьютера основана на принципах алгебры... Любая другая логическая операция может быть представлена в виде комбинации трех базовых, поэтому любые устройства компьютера, производящие...
	Гоу гимназия №1505 решение логических задач Б задачи на нахождение наименьшего количества предметов, задачи на тему «отличительные характеристики»		Урока: повторить материал по теме «Решение логических задач» Цель урока: продолжить знакомство с основными способами решения логических задач
	Реферат с чего начинается логика Целью моей работы является выяснить, что изучает логика. Какими основными понятиями она оперирует. Что такое «истина» и«ложь» с точки...		«Основы логики» Цель урока: сформировать у учащихся понятие форм мышления, сформировать понятия: логическое высказывание, логические величины, логические...