Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно. В алгебре простым высказываниям ставятся в соответствии логические переменные (А, В, С и т.д.) Логическая переменная – это простое высказывание. Логические переменные обозначаются прописными и строчными латинскими буквами (a-z, A-Z) и могут принимать всего два значения –...
Читать далееИмпликация (логическое следование) — это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно. ·в естественном языке — если …, то …; когда …,тогда;коль скоро…,то и т.п.; ·обозначения=> Например, дано...
Читать далееЗнания из области математической логики можно использовать для конструирования электронных устройств. Нам известно, что 0 и 1 в логике не просто цифры, а обозначение состояний какого-то предмета нашего мира, условно называемых «ложь» и «истина». Таким предметом, имеющим два фиксированных состояния, может быть электрический ток. Логические элементы имеют один или...
Читать далееПримеры задач с решениями по этой теме Пройти тестирование по теме Контрольная по теме Таблица истинности — таблица, показывающая, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний. Логическое выражение — составные высказывания в виде формулы. Равносильные логические выражения – логические выражения, у...
Читать далееПримеры задач с решениями по теме Пройти тестирование по теме Контрольная по теме Логика — это наука о формах и способах мышления. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока. Основы формальной логики заложил Аристотель. Объем понятия – множество предметов, каждому из которых принадлежат признаки,...
Читать далееРазнообразие логических задач очень велико. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач: средствами алгебры логики; табличный; с помощью рассуждений. Познакомимся с ними поочередно. Решение логических задач средствами алгебры логики Обычно используется следующая схема решения: 1. изучается условие задачи; 2. вводится система...
Читать далееПримеры задач с решениями по этой теме Пройти тестирование по теме Контрольная по теме Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики. Под упрощением формулы,...
Читать далее
МИР ЛОГИКИ