Примеры

Логические операции - логическое действие.

Существуют три базовые логические операции - конъюнкция, дизъюнкция и отрицание и дополнительные - импликацию и эквивалентность.
 Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА. При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а именно:

1) действия в скобках;
2) инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность.

Пример
Записать в виде логического выражения следующее высказывание: "Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку".


1. Разобьем составное высказывание напростые высказывания: "Петя поедет в деревню", "Будет хорошая погода", "Он пойдет на рыбалку". 


Обозначим их через логические переменные:

А = Петя поедет в деревню;
В = Будет хорошая погода;
С = Он пойдет на рыбалку.

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

F= A& (B+C).

Глоссарий, определения логики.

Логика - это наука о формах, методах и законах интеллектуальной познавательной деятельности. 

Высказывание - это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно (истина (логическая 1), ложь (логический 0)).

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

Логическое выражение - устное утверждение или запись, в которое, наряду с постоянными величинами, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных величин (объектов) логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0).

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

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

1) Логическое умножение или конъюнкция:
Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Обозначение: F = A & B.


Таблица истинности для конъюнкции

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

Законы логики

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

Примечание: конъюнкция обозначается знаком /\

                       дизъюнкция  обозначается знаком \/
                       отрицание обозначается чертой над суждением(или знаком ¬)

Упрощение логических выражений

Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
№ 1. Покажем на примерах некоторые приемы и способы, применяемые при упрощении логических формул:

Решение логических задач

Разнообразие логических задач очень велико. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач:

• средствами алгебры логики;
• табличный;
• с помощью рассуждений.

Познакомимся с ними поочередно.

I. Решение логических задач средствами алгебры логики

II. Решение логических задач табличным способом

III. Решение логических задач с помощью рассуждений

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

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

В логике выделяют следующие формы мышления:

• Понятие 
• Суждение 
• Умозаключение