Логика - наука, изучающая законы и формы мышления. В логике мышление рассматривается как инструмент познания окружающего мира. - презентация

1

2 Логика - наука, изучающая законы и формы мышления. В логике мышление рассматривается как инструмент познания окружающего мира.

3 Создатель Логики Аристотель ( гг. до н.э.)

4 Джордж Буль

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

6 «Трава зеленая» - высказывание, истина «Лев – птица» - высказывание, ложь

7 Не всякое предложение является логическим высказыванием. Высказываниями не является, например, предложение "ученик десятого класса"

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

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

10 Высказывания, не являющиеся составными, называются элементарными.

11 "Петров врач", "Петров шахматист" "Петров врач и шахматист", понимаемое как "Петров врач, хорошо играющий в шахматы".

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

13 Чтобы обращаться к логическим высказываниям, им назначают имена. Пусть через А обозначено высказывание "Тимур поедет летом на море", а через В высказывание "Тимур летом отправится в горы".

14 Тогда составное высказывание "Тимур летом побывает и на море, и в горах" можно кратко записать как А и В. Здесь "и" логическая связка, А, В логические переменные, которые могут принимать только два значения - "истина" или "ложь", обозначаемые, соответственно, "1" и "0".

15 Какие из следующих предложений являются высказываниями? Наполеон был французским императором. Чему равно расстояние от Земли до Марса? Внимание! Посмотрите направо. Электрон - элементарная частица. Не нарушайте правил дорожного движения! Полярная звезда находится в созвездии Малой Медведицы.

16

17 НЕ Операция, выражаемая словом "не", называется инверсией или отрицанием и обозначается чертой над высказыванием.

18 И Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio соединение) или логическим умножением и обозначается точкой ". " (может также обозначаться знаками /\ или &).

19 ИЛИ Операция, выражаемая связкой "или" (в неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio разделение) или логическим сложением и обозначается знаком v (или плюсом).

20 ЕСЛИ-ТО Операция, выражаемая связками "если..., то", "из... следует", "... влечет...", называется импликацией (лат. implico тесно связаны) и обозначается знаком. Высказывание А В ложно тогда и только тогда, когда А истинно, а В ложно.

21 РАВНОСИЛЬНО Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно...", называется эквиваленцией или двойной импликацией и обозначается знаком или ~. Высказывание А В истинно тогда и только тогда, когда значения А и В совпадают.

22 С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой.

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

24 Схема И Схема И реализует конъюнкцию двух или более логических значений. & X Y F=X·Y

25 Единица на выходе схемы И будет тогда и только тогда, когда на всех входах будут единицы. Когда хотя бы на одном входе будет ноль, на выходе также будет ноль. Таблица истинности схемы И XYX*Y

26 С х е м а ИЛИ Схема ИЛИ реализует дизъюнкцию двух или более логических значений. X Y F=X+Y 1

27 Таблица истинности схемы ИЛИ xyx v y Когда хотя бы на одном входе схемы ИЛИ бу дет единица, на её выходе также будет единица.

28 С х е м а НЕ Схема НЕ (инвертор) реализует операцию отрицания. Связь между входом x этой схемы и выходом F можно записать соотношением F = x где х читается как "не x" или "инверсия х". XF=X 1

29 Таблица истинности схемы НЕ xx Если на входе схемы 0, то на выходе 1. Когда на входе 1, на выходе 0.

30 С х е м а ИНЕ Схема ИНЕ состоит из элемента И и инвертора и осуществляет отрицание результата схемы И. Связь между выходом F и входами x и y схемы записывают следующим образом: F=x·y, где x·y читается как "инверсия x и y". X F=X·Y & Y

31 Таблица истинности схемы ИНЕ xyX*Y

32 С х е м а ИЛИНЕ Схема ИЛИНЕ состоит из элемента ИЛИ и инвертора и осуществляет отрицание результата схемы ИЛИ. Связь между выходом F и входами x и y схемы записывают следующим образом:F=x+y, где x+y, читается как "инверсия x или y ". X F=X+Y 1 Y

33 Таблица истинности схемы ИЛИ НЕ xyX+Y

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

35 Самый распространённый тип триггера так называемый RS- триггер (S и R, соответственно, от английских set установка, и reset сброс) S R Q Q

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

37 Многоразрядный двоичный сумматор