Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений, т.е. методы.

Презентация:



Advertisements
Похожие презентации
Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений, т. е. методы.
Advertisements

Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Логика Подготовила : Набиева Рузиля Класс 11 «Б».
Формы мышления. Алгебра высказываний. Логические выражения и таблицы истинности.
Для определения истинности или ложности сложного логического выражения используют таблицы истинности. Количество строк напрямую зависит от количества.
Алгебра логики.. Логика Логика – это наука о формах и способах мышления. Основные формы мышления – понятие, высказывание, умозаключение.
Теоретический тест. Что такое логика? Наука, изучающая формы и законы человеческого мышления Наука, изучающая человеческое общение Наука, изучающая процессы,
1. Подсчитать количество переменных в логическом выражении. 2. Определить число строк в таблице m = 2 n 3. Подсчитать количество логических операций в.
И МПЛИКАЦИЯ Операция, выражаемая связками «Если …, то», «Из … следует», «… влечет …», называется импликацией. А В Высказывание А В ложно тогда и только.
Основы логики Цель: сформировать понятие форм мышления; сформировать понятия: логическое высказывание, логические величины, логические операции. © Мульганова.
Тест по теме: «Основы логики». 1.Наука, изучающая законы и формы мышления, называется: А) алгебра; Б) геометрия; В) философия; Г) логика. Вариант 1.
Алгебра высказываний. В основе логики- логические переменные, высказывания Сколько различных чисел существует? Сколько различных переменных существует?
ГБПОУ «МСС УОР 2» Москомспорта Преподаватель информатики Володина М.В г.
Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика.
Логические выражения могут быть простыми и сложными. Простое логическое выражение состоит из одного высказывания и не содержит логические операции. В.
Таблицы истинности логических функций. Таблицей истинности логической функции принято называть табличное представление логической операции, в котором.
? ? 1 Простое высказывание – повествовательное предложение, принимающее одно из двух возможных значений – истина или ложь.
Алгебра в широком смысле этого слова – наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над различными математическими.
Транксрипт:

Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений, т.е. методы установления истинности или ложности одних высказываний (утверждений) на основе истинности или ложности других высказываний. Кроме обычной алгебры существует специальная, основы которой были зало- жены английским математиком XIX века Дж. Булем. Эта алгебра занимается так называемым исчислением высказы- ваний. Ее особенностью является примени- мость для описания работы так назы- ваемых дискретных устройств, к числу которых принадлежит целый класс устройств автоматики и вычислительной техники. Дж. Буль

Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы. Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре: (0,0), (0,1), (1,0), (1,1). Если формула содержит три переменные, то возможных наборов значений переменных восемь: Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д. (0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0), (1,0,1), (1,1,0), (1,1,1).

Таблица истинности для И

Таблица истинности для ИЛИ

Таблица истинности для НЕ

Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания (не), затем конъюнкция (и), после конъюнкции дизъюнкция (или) и в последнюю очередь импликация. Всякая логическая переменная и символы истина (1) и ложь (0) формулы. Если А и В формулы, то, (А В), (А v В), (А B), (А « В) формулы.