• Логика зародилась в VI-II веках до н. э
  • в Древней Греции, Индии, Китае

Рубрика: Теория

Алгебра высказываний

Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно. В алгебре простым высказываниям ставятся в соответствии логические переменные (А, В, С и т.д.) Логическая переменная – это простое высказывание.  Логические переменные обозначаются прописными и строчными латинскими буквами (a-z, A-Z) и могут принимать всего два значения –...

Читать далее

Логические функции

Импликация (логическое следование) — это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно. ·в естественном языке — если …, то …; когда …,тогда;коль скоро…,то и т.п.;   ·обозначения=> Например, дано...

Читать далее

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

Знания из области математической логики можно использовать для конструирования электронных устройств. Нам известно, что 0 и 1 в логике не просто цифры, а обозначение состояний какого-то предмета нашего мира, условно называемых «ложь» и «истина». Таким предметом, имеющим два фиксированных состояния, может быть электрический ток. Логические элементы имеют один или...

Читать далее

Логические выражения и таблица истинности

Примеры задач с решениями по этой теме Пройти тестирование по теме Контрольная по теме  Таблица истинности — таблица, показывающая,  какие значения принимает составное высказывание при  всех сочетаниях (наборах)  значений  входящих в него простых высказываний. Логическое выражение — составные высказывания в виде формулы. Равносильные логические выражения – логические выражения, у...

Читать далее

Формы мышления

Примеры задач с решениями по теме Пройти тестирование по теме Контрольная по теме Логика — это наука о формах и способах мышления. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока. Основы формальной логики заложил Аристотель. Объем понятия – множество предметов, каждому из которых принадлежат признаки,...

Читать далее

Решение логических задач

Разнообразие логических задач очень велико. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач: средствами алгебры логики; табличный; с помощью рассуждений. Познакомимся с ними поочередно. Решение логических задач средствами алгебры логики  Обычно используется следующая схема решения: 1.      изучается условие задачи; 2.      вводится система...

Читать далее

Законы алгебры логики и правила преобразования логических выражений

Примеры задач с решениями по этой теме Пройти тестирование по теме Контрольная по теме Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики. Под упрощением формулы,...

Читать далее