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

Прийма Н.В. МБОУ Красночабанская СОШ № 14 Ростовская обл.

Основы логики Формы мышления Алгебра высказываний Логические упражнения

Благодаря этой рекламе сайт может продолжать свое существование, спасибо за просмотр.

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

Понятие-это форма мышления, фиксирующая основные существенные признаки объекта Содержание Объём

Высказывание-это форма мышления, в которой что-либо утверждается или отрицается. выражается на: естественном языке на формальном языке истинно ложно «Два умножить на два равно четырём» 2*2=4 3*3=9 3*3=10

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

1 - «истина», 0 - «ложь» логические связки «и», «или», «не» Логическое умножение конъюнкция («и») А В А

В 0 0 0 0 1 0 1 0 0 1 1 1 Логическое сложение дизъюнкция («или») А В А\/В 0 0 0 0 1 1 1 0 1 1 1 1 Логическое отрицание инверсия («не») А А 0 1 1 0