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

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

Содержание
Объем

Высказывание -

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

Умозаключение -

-это форма мышления, с помощью которой из одного

Алгебра высказываний

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

Логическое умножение (конъюнкция)

Составное высказывание, образованное в результате операции логического умножения истинно

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

Логическое сложение (дизъюнкция)

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

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

Логическое отрицание (инверсия)

Делает истинное высказывание ложным и наоборот, ложное -

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

Логическое равенство (эквивалентность)

Составное высказывание, образованное с помощью логической операции эквивалентности истинно

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

Логическое следование (импликация)

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

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

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

Логические переменные
Знаки логических операций

Таблицы истинности
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. Напишите таблицу истинности для

Тест

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

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

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