Логика высказываний

Лекция № 8

(лек.2 час + пр. зан 2час+ сам. 4 час)

Рассмотрим один из разделов математической логики – логику высказываний.

Высказыванием называется повествовательное предложение, о котором можно сказать в данный момент, что оно истинно или ложно, но не, то и другое одновременно. Сопоставим каждому высказыванию переменную, равную:

1, если высказывание истинно, и

0, если высказывание ложно.

Пример. Высказывание «Москва – столица России» - истина. Высказывание «Два плюс два будет шесть» - ложно.

Высказывания будем обозначать заглавными буквами латинского алфавита X, Y, P, Q, W и т.п. Из этих высказываний при помощи простейших операций можно составить сложное высказывание. Так, если P и Q суть некоторые высказывания, то можно образовать высказывания P или Q, P и Q, не P и не Q введя операции дизъюнкцию (ИЛИ), конъюнкцию & или (И) и отрицание или (НЕ). Действие этих операций задаются таблицами истинности (интерпретации логических операций)

дизъюнкция	конъюнкция	отрицание
P	Q	P Q	P	Q	P&Q	P	не P

Дата добавления: 2015-06-27