6.5.Умозаключение как форма мышления.

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

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

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

Логическое отрицание (инверсия) - присоединение частицы “не”. Делает истинное высказывание ложным и, наоборот, ложное — истинным.

Логическая ИМПЛИКАЦИЯ (следование). Высказывание является ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

Логическая ЭКВИВАЛЕНЦИЯ (равнозначность) Высказывание является истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Логические операции имеют приоритет: действия в скобках, инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.

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

Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание. В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. (А = “Два умножить на два равно четырем”. В — “Два умножить на два равно пяти”). Над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания. Для образования новых высказываний наиболее часто используются базовые логические операции, выражаемые с помощью логических связок “и”, “или”, “не”.

6.7.Логические переменные и логические операции.

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

Логические операции и таблицы истинности

A	B	F
1	1	1
1	0	0
0	1	0
0	0	0

F = A & B.

Логическое умножение  КОНЪЮНКЦИЯ  - это новое  сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И.

 

A	B	F
1	1	1
1	0	1
0	1	1
0	0	0

F = A + B 

Логическое сложение – ДИЗЪЮНКЦИЯ - это новое сложное выражение будет истинным тогда и только тогда, когда  истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение двух логических выражений с помощью союза ИЛИ

A	неА
1	1
1	0

Логическое отрицание : ИНВЕРСИЯ - если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным/ Данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО

A	B	F
1	1	1
1	0	0
0	1	1
0	0	1

Логическое следование:  ИМПЛИКАЦИЯ - связывает два простых логических выражения, из которых первое является условием (А), а второе (В)– следствием из этого условия. Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно. Обозначается символом  "следовательно"  и  выражается словами ЕСЛИ … , ТО …

A	B	F
1	1	1
1	0	0
0	1	0
0	0	1

Логическая равнозначность: ЭКВИВАЛЕНТНОСТЬ - определяет результат сравнения двух простых логических выражений А и В. Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. Обозначается символом "эквивалентности"

Порядок выполнения логических операций в сложном логическом выражении:

1. инверсия

2. конъюнкция

3. дизъюнкция

4. импликация

5. эквивалентность

 Для изменения указанного порядка выполнения операций используются скобки.