Основы логики

олнительные - импликацию и эквивалентность.
Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА. При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а именно:
1) действия в скобках;
2) инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность.
Пример
Записать в виде логического выражения следующее высказывание: "Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку".
1. Разобьем составное высказывание на простые высказывания: "Петя поедет в деревню", "Будет хорошая погода", "Он пойдет на рыбалку".
Обозначим их через логические переменные:
А Петя поедет в деревню;
В Будет хорошая погода;
С Он пойдет на рыбалку.
2. Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо, расставим скобки:
F A& (BC).
Заполним представленную таблицу.
IV. Закрепление изученного материала.
Деление класса на группы.
Упражнение 1.
Есть два простых высказывания:
А - "Число 10 - четное";
В - "Волк - травоядное животное".
Составьте из них все возможные составные высказывания и определите их истинность. Ответ:
А&В AvBА В АВАВ
ЛОЖЬ (0) ИСТИНА (1) ЛОЖЬ (0) ИСТИНА (1) ЛОЖЬ (0) ЛОЖЬ (0)

Упражнение 2.
Запишите следующие высказывания в виде логических выражений.
1. Число 17 нечетное и двузначное.
2. Неверно, что корова - хищное животное.
3. На уроке физики ученики вып