Презентация на тему "Логика" - скачать презентацию

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать Презентация на тему "Логика". Презентация содержит 21 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

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

Слайд 2

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

Слайд 3

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

Слайд 4

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

Слайд 5

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

Слайд 6

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

Слайд 7

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

Слайд 8

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

Слайд 9

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

Слайд 10

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

Слайд 11

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

Слайд 12

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

Основы формальной логики заложил ученый Древней Греции Аристотель Основы формальной логики заложил ученый Древней Греции Аристотель Заслуга ученого состоит в том, что он отделил форму мышления от содержания. Попытался соединить логику и математику, разработал раздел теории доказательств.

Слайд 13

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

Лейбниц взглянул на логику Аристотеля через призму математики Лейбниц взглянул на логику Аристотеля через призму математики Он создал «Азбуку мыслей», сжатый и краткий язык символов. Разработал идея логического исчисления. Рассуждения обозначил буквами, сложные высказывания-формулами. В результате удалось содержательные рассуждения заменить формальными вычислениями.

Слайд 14

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

Дж.Буль автор известный произведений «Математический анализ логики»(1847г.) Дж.Буль автор известный произведений «Математический анализ логики»(1847г.) Основной труд Дж. Буля «Исследование законов мысли», в ней представлен раздел логики- алгебра высказываний. В 1844 г. Буль получает золотую медаль за работ по математическому анализу.

Слайд 15

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

Слайд 16

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

Слайд 17

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

И Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается точкой " . " (может также обозначаться знаками или &, ^, and). И Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается точкой " . " (может также обозначаться знаками или &, ^, and). С = A&B, C = A^B, C = A and B, C = A и B

Слайд 18

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

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

Слайд 19

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

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

Слайд 20

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

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

Слайд 21

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

РАВНОСИЛЬНО Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией или двойной импликацией и обозначается знаком ↔ или ~. РАВНОСИЛЬНО Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией или двойной импликацией и обозначается знаком ↔ или ~. F=A↔B=(A&B) v(A&B) Постройте таблицу истинности и докажите, что высказывание истинно тогда и только тогда, когда значения А и В совпадают.