Математическая логика.

Логика (от греч. logos – слово, понятие, рассуждение, разум) – наука и законах и формах рационального мышления, методах формализации содержательных теорий.

Мыслить логично – значит мыслить точно и последовательно, не допускать противоречий в своих суждениях, уметь вскрывать логические ошибки.

Формами мышления являются понятия, суждения и умозаключения.

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

Суждение (высказывание, утверждение) – форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях между ними. Характеризуется содержанием и формой.

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

Основной принцип формальной логики: правильность рассуждения (умозаключения) определяется только его логической формой (структурой) и не зависит от конкретного содержания входящих в него суждений.

Высказывания.

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

Таким образом, объектами изучения алгебры высказываний являются высказывания.

Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно оно или ложно.

Обозначать высказывание будем прописными буквами. Если высказывание А истинное, то будем писать «А=1» и говорить «А истинно». Если высказывание А ложное, то будем писать «А=0» и говорить «А ложно».

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

- с помощью языка математических символов;

- с помощью физических формул.

Например:

1. Солнце светит для всех – истинное высказывание, т.е. А=1.
2. Все ученики любят информатику – ложное, А=0.
3. А ты любишь информатику? – не высказывание, т.к. не является повествовательным предложением.
4. Посмотри в окно – не высказывание, т.к. является побудительным предложением.
5. (х*х <0)=0 – ложное высказывание, т.к. какое бы х мы ни взяли, произведение х*х будет неотрицательным.
6. 2* х -5>0 – не высказывание, т.к. для одних значений х это выражение будет истинным и в то же время для других значений х – ложным.
7. Крокодилы летают очень низко – высказывание.

Задание 1.

Определите, какие из нижеприведенных фраз являются высказываниями с точки зрения алгебры логики. Определите значение высказывания (истина или ложь).

1) Число 8456 является совершенным.

2) Без труда не выловишь и рыбку из пруда.

3) Как хорошо быть генералом!

4) Революция может быть мирной и немирной.

5) Зрение бывает нормальное, или у человека имеется дальнозоркость или близорукость.

6) Познай самого себя.

7) Не может быть, что ни один человек не дышит жабрами.

8) Талант всегда пробьет себе дорогу.

9) Некоторые животные мыслят.

10) Информатика в частности, изучает алгоритмы.

11) Всякая истина является конкретной.

12) Это утверждение ложно.

Высказывания бывают простыми и сложными.

Простым называется высказывание, которое не содержит в себе других высказываний.

Дата добавления: 2015-07-11