PPt4Web Хостинг презентаций

Главная / Информатика / Основы логики
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Основы логики


Скачать эту презентацию

Презентация на тему: Основы логики


Скачать эту презентацию



№ слайда 1
Описание слайда:

№ слайда 2 Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания,
Описание слайда:

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

№ слайда 3 Джордж Буль
Описание слайда:

Джордж Буль

№ слайда 4 Логическое высказывание — это любое повествовательное предложение, в отношении к
Описание слайда:

Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

№ слайда 5 Пример: «Трава зеленая» -истинное высказывание. «Лев – птица» - ложное высказыва
Описание слайда:

Пример: «Трава зеленая» -истинное высказывание. «Лев – птица» - ложное высказывание.

№ слайда 6 Не всякое предложение является логическим высказыванием. Пример: «ученик десятог
Описание слайда:

Не всякое предложение является логическим высказыванием. Пример: «ученик десятого класса» «информатика — интересный предмет».

№ слайда 7 Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если... ,
Описание слайда:

Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если... , то", "тогда и только тогда" и другие позволяют из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками.

№ слайда 8 Высказывания, образованные из других высказываний с помощью логических связок, н
Описание слайда:

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

№ слайда 9 Пример: Элементарные высказывания: «Петров — врач», «Петров — шахматист» Составн
Описание слайда:

Пример: Элементарные высказывания: «Петров — врач», «Петров — шахматист» Составные высказывания: "Петров — врач и шахматист", понимаемое как "Петров — врач, хорошо играющий в шахматы". "Петров — врач или шахматист", понимаемое в алгебре логики как "Петров или врач, или шахматист, или и врач и шахматист одновременно".

№ слайда 10 Чтобы обращаться к логическим высказываниям, их обозначают буквами. Пример: А =
Описание слайда:

Чтобы обращаться к логическим высказываниям, их обозначают буквами. Пример: А = «Луна – спутник Земли», А = 1 В = « 3* 2 = 5», В = 0

№ слайда 11 Пример: А ="Тимур поедет летом на море", В = "Тимур летом отправится в горы". А
Описание слайда:

Пример: А ="Тимур поедет летом на море", В = "Тимур летом отправится в горы". А и В = "Тимур летом побывает и на море,  и в горах»

№ слайда 12 Операции над логическими высказываниями
Описание слайда:

Операции над логическими высказываниями

№ слайда 13 Таблица истинности это табличное представление логической схемы (операции), в ко
Описание слайда:

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

№ слайда 14 Логическое «отрицание»    (инверсия или НЕ) обозначается чертой над высказывание
Описание слайда:

Логическое «отрицание»    (инверсия или НЕ) обозначается чертой над высказыванием Ā .

№ слайда 15 Диаграмма Эйлера-Венна:
Описание слайда:

Диаграмма Эйлера-Венна:

№ слайда 16 Пример: А = «Луна — спутник Земли» А = "Луна — не спутник Земли"
Описание слайда:

Пример: А = «Луна — спутник Земли» А = "Луна — не спутник Земли"

№ слайда 17 Высказывание А истинно, когда A ложно, и ложно, когда A истинно. Таблица истинно
Описание слайда:

Высказывание А истинно, когда A ложно, и ложно, когда A истинно. Таблица истинности А А 0 1 1 0

№ слайда 18 Логическое умножение     ( «и», конъюнкция (лат. conjunctio — соединение)) обозн
Описание слайда:

Логическое умножение     ( «и», конъюнкция (лат. conjunctio — соединение)) обозначается точкой " . " (может также обозначаться знаками /\ или &). А . В, А /\ В, А & В

№ слайда 19 Диаграмма Эйлера-Венна:
Описание слайда:

Диаграмма Эйлера-Венна:

№ слайда 20 Пример: А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное ч
Описание слайда:

Пример: А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное число», С = 0 А & В = «10 делится на 2 и 5 больше 3», А & В = 1 А & С = «10 делится на 2 и 4 – чётное число», А & С = 0

№ слайда 21 Высказывание А · В истинно тогда и только тогда, когда оба высказывания А и В ис
Описание слайда:

Высказывание А · В истинно тогда и только тогда, когда оба высказывания А и В истинны. Таблица истинности X Y X&Y 0 0 0 1 0 0 0 1 0 1 1 1

№ слайда 22 Логическое сложение    ( «или», дизъюнкция (лат. disjunctio — разделение) обозна
Описание слайда:

Логическое сложение    ( «или», дизъюнкция (лат. disjunctio — разделение) обозначается знаком v или +. А V В, А + В

№ слайда 23 Диаграмма Эйлера-Венна:
Описание слайда:

Диаграмма Эйлера-Венна:

№ слайда 24 Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложн
Описание слайда:

Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны. Таблица истинности X Y X+Y 0 0 0 1 0 1 0 1 1 1 1 1

№ слайда 25 Импликация (лат. implico — тесно связаны)  -операция, выражаемая связками   «есл
Описание слайда:

Импликация (лат. implico — тесно связаны)  -операция, выражаемая связками   «если ..., то…»,  «из ... следует…»,  «... влечет ...». Обозначается знаком . А В .

№ слайда 26 Высказывание   А В ложно тогда и только тогда, когда А истинно, а В – ложно. Таб
Описание слайда:

Высказывание   А В ложно тогда и только тогда, когда А истинно, а В – ложно. Таблица истинности А В А В 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 27 Эквиваленция (двойная импликация)   - операция, выражаемая связками «тогда и тол
Описание слайда:

Эквиваленция (двойная импликация)   - операция, выражаемая связками «тогда и только тогда», «необходимо и достаточно», «... равносильно ...» Обозначается знаком    или  ~.   А В, А ~ В.

№ слайда 28 Высказывание А В истинно тогда и только тогда, когда значения А и В совпадают.  
Описание слайда:

Высказывание А В истинно тогда и только тогда, когда значения А и В совпадают.       Таблица истинности А В А В 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 29 А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное число», С
Описание слайда:

А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное число», С = 0 К = « 3 – чётное число», К = 0 А + В = «10 делится на 2 или 5 больше 3», А + В = 1 А + С = «10 делится на 2 или 4 – чётное число», А + С = 1 С + К = « 4 – нечётное число или 3 – чётное число», С+К = 0 Пример:

№ слайда 30 Порядок выполнения логических операций 1.Сначала выполняется операция отрицания
Описание слайда:

Порядок выполнения логических операций 1.Сначала выполняется операция отрицания (“не”), 2. Затем конъюнкция (“и”), 3. После конъюнкции — дизъюнкция (“или”), 4. В последнюю очередь — импликация и эквиваленция.

№ слайда 31 A → B = ¬ A B Законы де Моргана ¬ (A B) = ¬ A ¬ B ¬ (A B) = ¬ A ¬ B 3. Законы ко
Описание слайда:

A → B = ¬ A B Законы де Моргана ¬ (A B) = ¬ A ¬ B ¬ (A B) = ¬ A ¬ B 3. Законы коммутативности А&B B&A AVB BVA 4. Законы ассоциативности (А&B)&C A&(B&C) (АVB)VC AV(BVC) 5. Законы дистрибутивности А&(BVC) (A&B)V(A&C) АV(B&C) (AVB)&(AVC) 6. Законы поглощения A&(AVB) A AV(A&B) A 7. Законы противоречия A&¬A=0 8. Закон исключения третьего AV¬A=1 9. Закон двойного отрицания ¬¬A=A 10. Закон контрапозиции A-›B ¬A->¬B Законы логики.

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru