Презентация, доклад по информатике 11 класс на тему: Уроки логики

в каких-то формах. Основные формы мышления: понятие, высказывание и умозаключение

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

Пример
Прямоугольник, проливной дождь, компьютер.

на естественном языке на формальном языке
«Два умножить на два равно четырем» «2*2=4».

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

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


Пример
Истинное высказывание: «Буква «а» - гласная».
Ложное высказывание: «Компьютер был изобретен в середине XIX века».

информации.
3. Кто отсутствует?
4.Лондон — столица Англии. (ИСТИНА)
5. Число 11 является простым. (ИСТИНА)
6. 4 + 5=10. (ЛОЖЬ)
7. Без труда не вытащишь и рыбку из пруда.
8. Умножьте числа 25 и 4
9.Некоторые медведи живут на севере. (ИСТИНА)
10. Все медведи — бурые. (ЛОЖЬ)
11.Чему равно расстояние от Москвы до Ленинграда.

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


Пример

Дано высказывание: «Все углы равнобедренного треугольника равны».
Получить высказывание «Этот треугольник равносторонний» путем умозаключений.

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

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

Алгебра логики возникла в середине 19 века в трудах английского математика Джорджа Буля.


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

Буль Джордж (1815-1864 гг.)

«Два умножить на два равно четырем».
В = «Два умножить на два равно пяти».

Высказывания могут быть истинными или ложными
Истинному высказыванию соответствует значение
логической переменной 1
Ложному высказыванию соответствует значение
логической переменной 0


А = 1
В = 0

с помощью логических связок
«и», «или», «не»

союза «и» называются операцией логического умножения или конъюнкцией.

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

«2*2=5 и 3*3=10» - ложь
«2*2=5 и 3*3=9» - ложь
«2*2=4 и 3*3=10» - ложь
«2*2=4 и 3*3=9» - истина

F, которое получится в результате конъюнкции двух простых высказываний:

F=A ^ B


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

«или» называется операцией логического сложения или дизъюнкцией.

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

«2 * 2 = 5 или 3* 3 = 10» - ложь
«2 * 2 = 5 или 3 * 3 = 9» - истина
«2 * 2 = 4 или 3 * 3 =10» - истина
«2 * 2 =4 или 3 * 3 = 9» - истина

получится в результате конъюнкции двух простых высказываний:

F=A v B

или инверсией.



Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным

или ¬А



Пусть А – истинное высказывание. Тогда высказывание F, образованное с помощью операции логического отрицания - ложно

–

¬1&(1 v1) v(¬0&1)
F = (¬1v1)&(1v¬1)&( ¬1v 0)