Логика – наука о формах и способах мышления

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

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

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

Алгебра высказываний
Логическое умножение (конъюнкция)
Логическое сложение (дизъюнкция)
Логическое отрицание (инверсия)

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

Таблица истинности
логического умножения

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

Таблица истинности
логического сложения

Логическое отрицание
(инверсия)
Делает истинное высказывание ложным и наоборот, ложное - истинным.
«не», а,

Таблица истинности
функции логического отрицания

Логическое равенство (эквивалентность)
Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
«…тогда и только тогда, когда …»

Таблица истинности логической
функции эквивалентности

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

Таблица истинности

Логические выражения (формулы)
Логические переменные
Знаки логических операций

Таблицы истинности
AVB

Таблица истинности A&B

Логические законы
1. Закон тождества
А=А
2. Закон непротиворечия А&А=0
3.Закон исключенного третьего
AVА=1
4.Закон двойного отрицания А=А

5. Законы де Моргана
АVВ=A&B
A&B=AVB

6. Закон коммутативности
A&B=B&A
AVB=BVA

7. Закон ассоциативности
(A&B)&C=A&(B&C)
(AVB)VC=AV(BVC)

8. Закон дистрибутивности
(A&B)V(A&C)=A&(BVC)
(AVB)&(AVC)=AV(B&C)

Диктант
1. Напишите таблицу истинности для операции конъюнкция.
2. Напишите таблицу истинности для операции дизъюнкция.
3. Напишите таблицу истинности для операции импликация.
4. Напишите таблицу истинности для операции эквивалентность.

Тест
1. С помощью таблицы истинности получите результат логической функции A& B
2. Какому логическому элементу соответствует логическая схема:

3.Дана логическая схема. Напишите по ней логическую функцию и составьте таблицу истинности.
V
&
V
Х
У
А

4.Упростите выражение:
A&BV(C&B)