Элементы математической логики

Аппарат математической логики применяется в технике:

- при конструировании сложных автоматических устройств;

- при синтезе релейно-контактных и электронных схем (РКЭС).

Высказывание – это повествовательное предложение, относительно которого можно однозначно сказать истинно оно или ложно.

Обозначают высказывание прописной буквой.

Х = Число 12345 кратно трем.

Р = Чтобы подключиться к Интернету с домашнего компьютера, необходим модем и соответствующее программное обеспечение.

Если высказывание А истинное, то будем писать А =1. Если высказывание А – ложное, то будем писать А =0.

Примеры.

А = Все студенты любят информатику = 0 – ложное высказывание.

B = Некоторые студенты любят информатику = 1 – истинное высказывание.

D = А ты любишь информатику? – не высказывание, т.к. не является повествовательным предложением.

C = Посмотри в окно - не высказывание, т.к. является побудительным предложением.

E = = 0- ложное высказывание.

G =- не высказывание, т.к для одних значений х это выражение будет истинным, а для других – ложным.

F = Париж – столица Германии = 0 – ложное

I = Крокодилы летают очень низко – высказывание.

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

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

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

A = Идет налево.

B = Идет направо

C = Песнь заводит

D = Сказку говорит.

Образуем сложное высказывание Е = Идет налево - песнь заводит, направо – сказку говорит.

Дата добавления: 2014-01-06