Презентация, доклад для 9 класса на тему Основы логики.Формы мышления

Древнего Востока (Китай, Индия).
Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления от его содержания.

ЛОГИКА – это наука о формах и способах мышления.

«компьютер» объединяет множество электронных устройств, которые предназначены для обработки информации.

существенных признаков объекта. («Персональный компьютер – это универ-сальное электронное устройство для автоматической обработки информации, предназначенное для 1 пользователя»)
Объём понятия определяется совокупностью предметов, на которую оно распространяется. («персональный компьютер» выражает всю совокупность(сотни миллионов)существующих в настоящее время в мире персональных компьютеров)

могут быть выражены с помощью не только естественных языков, но и формальных. Например, высказывание на естественном языке имеет вид «Два умножить на два равно четырём», а на формальном, математическом языке оно записывается в виде: «2•2=4»

нескольких суждений может быть получено новое суждение (заключение).

Например, Если «Все углы треугольника равны», то справедливо суждение «Этот треугольник равносторонний»

которые могут принимать лишь 2 значения: «истина»(1) и «ложь»(0).

В алгебре высказываний над высказы-ваниями можно производить определённые логические операции, в результате которых получаются новые, составные высказывания. Для их образования используют базовые логические операции, выражаемые с помощью логических связок «и», «или», «не».

знак & либо ^
Истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.
Таблица истинности функции логического умножения

знак + либо V
Истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
Таблица истинности функции логического сложения

ложным и, наоборот, ложное – истинным.
Таблица истинности функции логического отрицания

«не» используются и некоторые другие: «если... то...», «... тогда и только тогда, когда...» и др. Некоторые из них имеют свое название и свой символ, и им соответствуют определенные логические функции.

с помощью оборота речи «если..., то...».
Обозначение: А →В, А В.
Пример: А={2·2=4} и В={3·3=10}.
А В={Если 2·2=4, то 3·3=10 }

и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).

5» истинно, так как истинны и первое высказывание(предпосылка), и второе высказывание (вывод).
Высказывание «Если число делится на 10, то оно делится на 3» ложно, так как из истинной предпосылки делается ложный вывод.

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

выражению А v В.

с помощью оборота речи «... тогда и только тогда, когда ...».
Обозначения: А=В; А В; А~В; А=В
А={Угол прямой}; В={Угол равен 900}
А~В ={Угол называется прямым тогда и только тогда, когда он равен 900}

только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

B = «Компьютер включен». Составное высказывание, полученное с помощью операции эквивалентности, истинно, когда оба высказывания либо истинны, либо ложны:
«Компьютер может производить вычисления тогда и только тогда, когда компьютер включен».
«Компьютер не может производить вычисления тогда и только тогда, когда компьютер не включен».

истинно, а другое — ложно:
«Компьютер может производить вычисления тогда и только тогда, когда компьютер не включен».
«Компьютер не может производить вычисления тогда и только тогда, когда компьютер включен».