Как определить высказывание. Определение значения истинности высказываний. Построение составных высказываний. Выяснить, достаточно ли данных, чтобы определить значение истинности высказывания

Среди возможных значений истинности лингвистической переменной Истинность два значения привлекают особое внимание, а именно пустое множество и единичный интервал , которые соответствуют наименьшему и наибольшему элементам (по отношению включения) решетки нечетких подмножеств интервала . Важность именно этих значений истинности обусловлена тем, что их можно интерпретировать как значения истинности не определено и неизвестно соответственно. Для удобства будем обозначать эти значения истинности символами и , понимая при этом, что и определяются выражениями

Значения неизвестно и не определено , интерпретируемые как степени принадлежности, используются также в представлении нечетких множеств типа 1. В этом случае имеются три возможности выражения степени принадлежности точки в : 1) число из интервала ; 2) (не определено ); 3) (неизвестно ).

Рассмотрим простой пример. Пусть

Возьмем нечеткое подмножество множества вида

В этом случае степень принадлежности элемента множеству есть неизвестно , а степень принадлежности есть не определено . В более общем случае может быть

где имеется в виду, что степень принадлежности элемента множеству частично неизвестна, причем член интерпретируется следующим образом:

. (6.56)

Важно четко понимать разницу между и . Когда мы говорим, что степень принадлежности точки множеству есть , мы имеем в виду, что функция принадлежности не определена в точке . Предположим, например, что - множество действительных чисел, а - функция, определенная на множестве целых чисел, причем , если - четное, и , если - нечетное. Тогда степень принадлежности числа множеству есть , а не 0. С другой стороны, если бы была определена на множестве действительных чисел и тогда и только тогда, когда - четное число, то степень принадлежности числа множеству была бы равна 0.

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

, (6.57)

. (6.58)

Применяя принцип обобщения, как в (6.25), получим

, (6.59)

После упрощения (6.59) сводится к выражению

. (6.61)

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

Рис. 6.4. Конъюнкция и дизъюнкция значений истинности высказывания со значением истинности неизвестно ().

Аналогично находим, что значение истинности высказывания или выражается в виде

. (6.62)

Следует отметить, что выражения (6.61) и (6.62) легко получить с помощью описанной выше графической процедуры (см. (6.38) и далее). Пример, иллюстрирующий это, показан на рис. 6.4.

Обращаясь к случаю , находим

(6.63)

и аналогично для .

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

или в более привычном виде

где означает истинный , а - ложный . Поскольку есть , мы можем отождествить значение истинности неизвестно со значением истинный или ложный , т. е.

Результирующая логика имеет четыре значения истинности , , и и является обобщением двузначной логики в смысле замечания 6.5.

Поскольку универсальное множество значений истинности состоит лишь из двух элементов, целесообразно построить таблицы истинности для операций , и в этой четырехзначной логике непосредственно, т. е. без использования общих формул (6.25), (6.29) и (6.31). Так, применяя принцип обобщения к операции , сразу получаем

откуда с необходимостью следует, что

На этом пути мы приходим к обычному определению связки ⟹ в двузначной логике в виде следующей таблицы истинности:

Как показывает рассмотренный выше пример, понятие значения истинности неизвестно в сочетании с принципом обобщения помогает уяснить некоторые из понятий и соотношений обычных двузначной и трехзначной логик. Эти логики, конечно, можно рассматривать как вырожденные случаи нечеткой логики, в которой значением истинности неизвестно является весь единичный интервал, а не множество 0 + 1.

Логика, созданная как наука Аристотелем (384-322 г. до н.э.), на протяжении столетий использовалась для развития многих областей знания, включая теологию, философию, математику.

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

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

Понятие высказывания

Высказывание — это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Иными словами, утверждение об истинности или ложности высказывания должно иметь смысл. Истинность или ложность, приписываемые некоторому утверждению, называются его значением истинности , или истинностным значением.

Например, высказывания Дважды два четыре и Город Челябинск находится в азиатской части России истинные, а высказывания Три больше пяти и Река Дон в настоящее время впадает в Каспийское море ложны, так как не соответствуют действительности. Истинные высказывания принято обозначать T (true ) или И (истина ), а ложные, соответственно, F (false ) или Л (ложь ). В информатике истинность принято обозначать 1 (двоичная единица), а ложность - 0 (двоичный ноль).

Вот примеры предложений, не являющихся высказываниями:

Кто вы? (вопрос),

Прочтите эту главу до следующего занятия (приказ или восклицание),

Это утверждение ложно (внутренне противоречивое утверждение),

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

Мы будем обозначать высказывания буквами латинского алфавита р , q , r , Например, р может обозначать утверждение Завтра будет дождь , а q — утверждение Квадрат целого числа есть число положительное .

Логические связки

В обыденной речи для образования сложного предложения из простых используются связки — особые части речи, соединяющие отдельные предложения. Наиболее часто употребляются связки и , или , не , если ... то , только если , и тогда и только тогда . В отличие от обыденной речи, в логике смысл таких связок должен быть определен однозначно. Истинность сложного высказывания однозначно определяется истинностью или ложностью составляющих его частей. Высказывание, не содержащее связок, называется простым . Высказывание, содержащее связки, называется сложным . Логические связки также называют логическими операциями над высказываниями.

Пусть р и q обозначают высказывания

р: Джейн водит автомобиль,

q: У Боба русые волосы.

Сложное высказывание

Джейн водит автомобиль и у Боба русые волосы состоит из двух частей, объединенных связкой и . Это высказывание может быть символически записано в виде

где символ обозначает слово и на языке символических выражений. Выражение называется конъюнкцией высказываний р и q .

Встречаются также следующие варианты записи конъюнкции:

Точно так же высказывание

Джейн водит автомобиль или у Боба русые волосы.

символически выражается как

где обозначает слово или в переводе на символический язык. Выражение называется дизъюнкцией высказываний р и q .

Опровержение, или отрицание высказывания p обозначается через

Таким образом, если р есть высказывание Джейн водит автомобиль , то - это утверждение Джейн не водит автомобиль .

Если r есть высказывание Джо нравится информатика , то Джейн не водит автомобиль и у Боба русые волосы или Джо любит информатику символически запишется как

.

И наоборот, выражение

это символическая форма записи высказывания Джейн водит автомобиль, у Боба волосы не русые и Джо нравится информатика .

Рассмотрим выражение . Если некто говорит: "Джейн водит автомобиль и у Боба русые волосы" , то мы, естественно, представляем себе Джейн за рулем автомобиля и русоволосого Боба. В любой другой ситуации (например, если Боб не русоволос или Джейн не водит автомобиль) мы скажем, что говорящий не прав.

Возможны четыре случая, которые нам необходимо рассмотреть. Высказывание р может быть истинным (Т ) или ложным (F ) и независимо от того, какое истинностное значение принимает р , высказывание q может также быть истинным (Т ) или ложным (F ). Таблица истинности перечисляет все возможные комбинации истинности и ложности сложных высказываний.

Итак, конъюнкция истинна тогда и только тогда, когда истинны оба высказывания p и q , то есть в случае 1.

Точно так же рассмотрим высказывание Джейн водит автомобиль или у Боба русые волосы , которое символически выражается как . Если некто скажет: "Джейн водит автомобиль или у Боба русые волосы", то он будет не прав только тогда, когда Джейн не сможет управлять автомобилем, а Боб не будет русоволосым. Для того чтобы все высказывание было истинным, достаточно, чтобы одна из двух составляющих его компонент была истинной. Поэтому имеет таблицу истинности

Дизъюнкция ложна только в случае 4, когда оба р и q ложны.

Таблица истинности для отрицания имеет вид

Истинностное значение всегда противоположно истинностному значению р. В таблицах истинности отрицание всегда оценивается первым, если только за знаком отрицания не следует высказывание, заключенное в скобки. Поэтому интерпретируется как , так что отрицание применяется только к р . Если мы хотим отрицать все высказывание, то это записывается как .

Символы и называют бинарными связками, так как они связывают два высказывания. Символ ~ является унарной связкой, так как применяется только к одному высказыванию.

Еще одна бинарная связка - это исключающее или, которое обозначается через . Высказывание истинно, когда истинно p или q , но не оба одновременно. Эта связка имеет таблицу истинности

Используя слово или , мы можем иметь в виду исключающее или . Например, когда мы говорим, что р — либо истина, либо ложь, то, естественно, предполагаем, что это не выполняется одновременно. В логике исключающее или используется довольно редко, и в дальнейшем мы, как правило, будем обходиться без него.

Рассмотрим высказывание

,

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

Таблица истинности дает возможность однозначно указать те ситуации, когда высказывание является истинным; при этом мы должны быть уверены, что учтены все случаи. Поскольку сложное высказывание содержит три основных высказывания р , q и r , то возможны восемь случаев

Случай	p	q	r
	T	T	T	F	F	T
	T	T	F	F	F	T
	T	F	T	T	T	T
	T	F	F	T	F	T
	F	T	T	F	F	F
	F	T	F	F	F	F
	F	F	T	T	T	T
	F	F	F	T	F	F

При нахождении значений истинности для столбца мы используем столбцы для и r , а также таблицу истинности для . Таблица истинности для показывает, что высказывание истинно лишь в том случае, когда истинны оба высказывания и r . Это имеет место лишь в случаях 3 и 7.

Заметим, что при определении значений истинности для столбца играет роль только истинность высказываний p и . Таблица истинности для показывает, что единственный случай, когда высказывание, образованное с помощью связки или , ложно, — это случай, когда ложны обе части этого высказывания. Такая ситуация имеет место только в случаях 5, 6 и 8.

Другой, эквивалентный способ построения таблицы истинности состоит в том, чтобы записывать истинностные значения выражения под связкой. Снова рассмотрим выражение. Сначала мы записываем истинностные значения под переменными р , q и r . Единицы под столбцами истинностных значений указывают на то, что этим столбцам истинностные значения присваиваются в первую очередь. В общем случае число под столбцом будет показывать номер шага, на котором производятся вычисления соответствующих истинностных значений. Затем мы записываем под символом ~ истинностные значения высказывания . Далее записываем истинностные значения под символом . Наконец, записываем значения высказывания под символом .

Случай	p	q	r	p		((~	q )		r
	T	T	T	T	T	F	T	F	T
	T	T	F	T	T	F	T	F	F
	T	F	T	T	T	T	F	T	T
	T	F	F	T	T	F	F	F	F
	F	T	T	F	F	F	T	F	T
	F	T	F	F	F	F	T	F	F
	F	F	T	F	T	T	F	T	T
	F	F	F	F	F	F	F	F	F

1.1.3. Условные высказывания

Допустим, некто утверждает, что если случится одно событие, то случится и другое. Предположим, отец говорит сыну: "Если в этом семестре ты сдашь все экзамены на «отлично», я куплю тебе машину ". Заметьте, что высказывание имеет вид: если р, то q , где р — высказывание В этом семестре ты сдашь все экзамены на «отлично» , а q — высказывание Я куплю тебе машину . Сложное высказывание мы обозначим символически через . Спрашивается, при каких условиях отец говорит правду? Предположим, высказывания р и q истинны. В этом случае счастливый студент получает отличные оценки по всем предметам, и приятно удивленный отец покупает ему машину. Естественно, ни у кого не вызывает сомнения тот факт, что высказывание отца было истинным. Однако существуют еще три других случая, которые необходимо рассмотреть. Допустим, студент действительно добился отличных результатов, а отец не купил ему машину.

Самое мягкое, что можно сказать об отце в таком случае, — это то, что он солгал. Следовательно, если р истинно, а q ложно, то ложно. Допустим теперь, что студент не получил положительные оценки, но отец тем не менее купил ему машину. В этом случае отец предстает очень щедрым, но его никак нельзя назвать лжецом. Следовательно, если р ложно и q истинно, то высказывание если р, то q (т.е. ) истинно. Наконец, предположим, что студент не добился отличных результатов, и отец не купил ему машину.

Поскольку студент не выполнил свою часть соглашения, отец тоже свободен от обязательств. Таким образом, если р и q ложны, то считается истинным. Итак, единственный случай, когда отец солгал, — это когда он дал обещание и не выполнил его.

Таким образом, таблица истинности для высказывания имеет вид

Символ называется импликацией , или условной связкой .

Может показаться, что носит характер причинно-следственной связи, но это не является необходимым. Чтобы увидеть отсутствие причины и следствия в импликации, вернемся к примеру, в котором р есть высказывание Джейн управляет автомобилем , а q — утверждение У Боба русые волосы . Тогда высказывание Если Джейн управляет автомобилем, то у Боба русые волосы запишется как

если p , то q или как .

То, что Джейн управляет автомобилем, никак причинно не связано с тем, что Боб русоволосый. Однако нужно помнить, что истинность или ложность бинарного сложного высказывания зависит только от истинности составляющих его частей и не зависит от наличия или отсутствия между ними какой-либо связи.

Рассмотрим следующий пример. Требуется найти таблицу истинности для выражения

.

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

Теперь используем таблицу для , чтобы получить для высказывания

таблицу истинности

Случай	p	q	r	(p		q )		(q		r )
	T	T	T	T	T	T	T	T	T	T
	T	T	F	T	T	T	F	T	F	F
	T	F	T	T	F	F	F	F	T	T
	T	F	F	T	F	F	F	F	T	F
	F	T	T	F	T	T	T	T	T	T
	F	T	F	F	T	T	F	T	T	F
	F	F	T	F	T	F	T	F	F	T
	F	F	F	F	T	F	T	F	T	F
							*

Высказывание вида обозначается через . Символ называется эквиваленцией . Эквиваленция также иногда обозначается как (не следует путать с унарной операцией отрицания).

Здесь: 1 - истина, 0 - ложь.

• 1. Х: треугольник АВС - остроугольный. Х: неверно, что треугольник АВС - остроугольный. Это все равно, что: Х: треугольник АВС - прямоугольный или тупоугольный
• 2. А: Иванова М. На экзамене по математике получила 4. : Неверно, что Иванова М. по математике получила 4.

Определение: Дизъюнкцией высказывания А и В называется высказывание АВ, истинное при условии, что хотя бы одно из высказываний А или В истинно.

Его читают «А или В».

Таблица истинности для АВ

Пример: 1. На этот раз ответчик явился и суд состоялся. - истина

2. В прямоугольном треугольнике сумма двух любых углов больше или равна третьего угла и гипотенуза меньше катета. - ложь

Определение: Импликацией высказываний А и В называется высказывание АВ, ложное лишь при условии, что А истинно, а В ложно.

Его читают: «Если А, то В».

Таблица истинности

Пример: 1. Если я сдам зачет, то пойду в кино.

2. Если треугольник равнобедренный, то углы при его основании равны. Определение: Эквиваленцией высказываний А и В называется высказывание АВ, истинное в том и только в том случае, когда А и В имеют одну и ту же истинность (т.е. либо оба истинны, либо оба ложны).

Читают: «А тогда и только тогда, когда В» или «А необходимо и достаточно для В»

Таблица истинности

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

Пример: Если Саратов расположен на берегу Невы, то в Африке обитают белые медведи.

А: Саратов расположен на берегу реки Невы;

В: В Африке обитают белые медведи

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

Определение: Формулы F 1 и F 2 называются равносильными, если их эквиваленция - тавтология.

Определение: Если формулы F 1 и F 2 равносильны, то предложения Р 1 и Р 2 , которые инициируют эти формулы, называются равносильными в логике высказываний.

Основные, наиболее часто встречающиеся равносильности, называют законами логики. Перечислим некоторые из них:

• 1. Х Х - закон тождества
• 2. Х Л - закон противоречия
• 3. Х И - закон исключения третьего
• 4. Х - закон двойного отрицания

• 5. законы коммутативности
• 6. Х (У Z) (Х У) Z закон ассоциативности

Х (У Z) (Х У) Z закон дистрибутивности

7. законы Де Моргана

8. законы сочленения переменной с константой

Используя законы логики, можно преобразовывать формулы.

4. Из множества формул, равносильных между собой, рассмотрим две. Это - совершенная конъюнктивная нормальная форма (СКНФ) и совершенная дизъюнктивная нормальная форма (СДНФ). Они строятся для данной формулы на основе ее таблицы истинности.

Построение СДНФ:

• -- выбираются строки, соответствующие значениям истинности (1) данной формулы;
• -- для каждой выделенной строки составляем конъюнкцию переменных или их отрицаний так, чтобы наборам значений переменных, представленных в строке, соответствовали истинные значения конъюнкции (для этого надо переменные, которые в этой строке принимали значения ложь (0) взять со знаком отрицания, а переменные, принимающие значения истинности (1) без отрицания);
• -- составляется дизъюнкция полученных конъюнкций.

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

Составление СКНФ осуществляется по следующему алгоритму:

• -- выделить те строки таблицы, в которых формула принимает значение ложь (0);
• -- из переменных, стоящих в каждой такой строке, составить дизъюнкцию, которая должна принимать значения - ложь (0). Для этого все переменные должны войти в нее со значением ложь, следовательно те, которые истинны (1), надо заменить их отрицанием;
• -- из полученных дизъюнкций составить конъюнкцию.

Очевидно, что любая формула, не являющаяся тавтологией, имеет СКНФ.

СДНФ и СКНФ используются для получения следствий из данной формулы.

Пример: Составить таблицу истинности СДНФ и СКНФ для формулы: .

Таблица истинности СДНФ и СКНФ

5. Рассмотрим высказывательные форму «Река впадает в Черное море». Она содержит одну переменную и может быть представлена в виде «Река х впадает в Черное море».

В зависимости от значений переменной Х предложение является либо истинным, либо ложным, т.е. задается отображение множества рек на двух элементное множество. Обозначим это отображение, тогда:

Таким образом, имеем функцию, все значения которой принадлежат множеству.

Определение: Функция, все значения которой принадлежат множеству, называется предикатом.

Буквы, обозначающие предикаты, называют предикатными символами.

Предикаты могут задаваться:

a) высказывательной формулой,

b) формулой, т.е. задавая интерпретацию предикатного символа,

c) таблицей.

1) Р - «впадать в Черное море».

Эта формула означает, что «Река а впадает в Черное море».

• 2) Предикат Р задан высказывательной формулой: «быть простым числом на множестве первых 15 натуральных чисел».
• 3) В табличной форме предикат имеет вид:

Областью определения предикатов может быть любое множество.

Если предикат при каком-либо наборе входящих переменных теряет смысл, то принято считать, что этому набору соответствует значение Л.

Если предикат содержит одну переменную, то его называют одноместным, две переменные - двуместным, n переменных - n-местным предикатом.

Для перевода текстов на язык предикатов и определения их истинности необходимо ввести логические операции над предикаторами и кванторы.

Над предикатами выполняются так же операции: отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции.

Определение: Подмножество множества М, на котором задан предикат Р, состоящий из тех и только тех элементов М, которым соответствует значение И предиката Р, называется множеством истинности предиката Р.

Множество истинности обозначается.

Определение: Отрицанием предиката Р называется предикат, ложный при тех наборах значений переменных, которые обращают Р в истинный, и истинный при тех наборах значений переменных, которые обращают Р в ложный предикат.

Обозначается отрицание.

Быть студентом АБиК.

Не быть студентом АБиК.

Если, то множество, где М - множество, на котором заданы предикаты Р и Q .

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

Быть футболистом

Быть студентом

: быть футболистом и быть студентом.

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

Быть четным натуральным числом

Быть нечетным натуральным числом

: быть натуральным числом.

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

Обозначается:

Быть простым числом на множестве N

Быть нечетным числом

Ложен при и истинным при других натуральных числах.

Определение: Эквиваленцией предикатов и называется предикат, который становится истинным, если оба предиката и истинны, или оба ложны.

Обозначается:

- «выигрывать», т.е. х выигрывает у

Лучше знать шахматную историю, х знает лучше у

обозначает, что х выигрывает у у в шахматы тогда и только тогда, когда он лучше знает теорию.

Определение: Предикат следует из предиката если импликация истинна при любых входящих в нее значениях переменных.

Обозначаются следования: .

Быть студентом

Ходить в институт

Для превращения предиката в высказывание существуют 2 пути:

1) придание переменной конкретного значения

; х - студент

Иванов - студент.

2) Навешивание кванторов - любой, всякий, каждый

Существует, имеется.

Запись, где обладает свойством Р означает, что всякий предмет х обладает свойством Р. Или по другому, «все х обладают свойством Р».

Запись означает, что существует предмет х, обладающий свойством Р.

Относительно понятий и отношений между ними можно высказы­вать различные суждения. Языковой формой суждений являются повествовательные предложения. Предложения, используемые в математике, могут быть записаны как в словесной форме, так и в символической. Предложения могут нести верную или ложную информацию.

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

Пример . Следующие предложения являются высказываниями:

1) Все студенты МГПУ – отличники (ложное высказывание),

2) На Кольском полуострове водятся крокодилы (ложное высказывание),

3) Диагонали прямоугольника равны (истинное высказывание),

4) Уравнение не имеет действительных корней (истинное высказывание),

5) Число 21 – четное (ложное высказывание).

Следующие предложения не являются высказываниями:

Какая погода будет завтра?

х – натуральное число,

745 + 231 – 64.

Высказывания принято обозначать большими буквами латинского алфавита: А, В, С,…, Z .

«Истина» и «ложь» называются значениями истинности высказывания . Каждое высказывание либо истинно, либо ложно, одновременно быть и тем, и другим, оно не может.

Запись [ А ] = 1 означает, что высказываниеА – истинно .

А запись [ А ] = 0 означает, что высказываниеА – ложно .

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

Пример . Если
, то
– ложное высказывание, а если
, то
– истинное высказывание.

Предложение
называетсяпредикатом или высказывательной формой . Оно порождает множество высказываний одной и той же формы.

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

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

Пример . 1)
– одноместный предикат,

2) «Прямая х перпендикулярна прямой у » – двухместный предикат.

Также в предикатах переменные могут содержаться неявно. В предложениях: «Число четное», «две прямые пересекаются» переменных нет, но они подразумеваются: «Число х – четное», «две прямые х и у пересекаются».

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

Пример . Неравенство
можно рассматривать на множестве натуральных чисел, а можно считать, что значение переменной выбирается из множества действительных чисел. В первом случае областью определения неравенства
будет множество натуральных чисел, а во втором – множество действительных чисел.

Одноместным предикатом , заданным на множестве Х , называется предложение с переменной, которое обращается в высказывание при подстановке в него переменной из множества Х .

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

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

Множество истинности двухместного предиката
состоит из всех таких пар
при подстановке которых в этот предикат получается истинное высказывание.

Пример . Пара
принадлежит множеству истинности предиката
, т.к.
– истинное высказывание, а пара
не принадлежит, т.к.
– ложное высказывание.

Высказывания и предикаты могут быть как простыми, так и сложными (составными). Сложные предложения образуются из простых с помощью логических связок – слов «и », «или », «если…, то … », «тогда и только тогда, когда… ». С помощью частицы «не » или словосочетания «неверно, что » можно из данного предложения получить новое. Предложения, не являющиеся составными, называют элементарными .

Примеры . Составные предложения:

Число 42 – четное и делится на 7. Образовано из двух элементарных предложений: Число 42 четное, число 42 делится на 7 и составлено с помощью логической связки «и ».

Число х больше или равно 5. Образовано из двух элементарных предложений: Число х больше 5 и число х равно 5 и составлено с помощью логической связки «или ».

Число 42 не делится на 5. Образовано из предложения: Число 42 делится на 5 с помощью частицы «не ».

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

Пример . Выявим логическую структуру предложения: «Если углы вертикальны, то они равны». Оно состоит из двух элементарных предложений: А – углы вертикальные, В – углы равны. Соединены они в одно составное предложение с помощью логической связки «если…, то… ». Данное составное предложение имеет логическую структуру (форму): «если А, то В ».

Выражение «для любого х » или «для всех х » или «для каждого х » называется квантором общности и обозначается
.

при помощи квантора общности, обозначается:
и читается: «Для любого значениях из множества Х имеет место
».

Выражение «существует х » или «для некоторых х » или «найдется такое х » называется квантором существования и обозначается
.

Высказывание, полученное из высказывания или предиката
при помощи квантора существования, обозначается:
и читается: «Для некоторыхх из множества Х имеет место
» или «Существует (найдется) такое значениех из Х , что имеет место
».

Кванторы общности и существования употребляются не только в математических выражениях, но и в повседневной речи.

Пример . Следующие высказывания содержат квантор общности:

а) Все стороны квадрата равны; б) Каждое целое число является действительным; в) В любом треугольнике медианы пересекаются в одной точке; г) У всех студентов есть зачетная книжка.

Следующие высказывания содержат квантор существования:

а) Существуют числа, кратные 5; б) Найдется такое натуральное число , что
; в) В некоторых студенческих группах учатся кандидаты в мастера спорта; г) Хотя бы один угол в треугольнике острый.

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

Пример . Высказывание
истинно.

Высказывание
ложно , если при некотором значении переменной х предикат

Пример . Высказывание
ложно, т.к. при
предикат
превращается в ложное высказывание.

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

Пример . Высказывание
истинно, т.к. при
предикат
превращается в истинное высказывание.

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

Пример . Высказывание
ложно, т.к. предикат
является тождественно ложным.

Пусть предложение А – высказывание. Если перед сказуемым данно­го предложения поставить частицу «не » либо перед всем предложением поставить слова «неверно, что », то получится новое предложение, кото­рое называется отрицанием данного и обозначается:  А или (читают: «не А» или «неверно, что А »).

Отрицанием высказывания А называется высказыва­ние или  А , которое ложно, когда высказывание А истинно, и истинно, когда высказывание А – ложно. Таблица истинности отрицания:

Пример . Если высказывание А : «Вертикальные углы равны», то отрицание этого высказывания  А : «Вертикальные углы не равны». Первое из этих высказываний истинное, а второе – ложное.

Для построения отрицания высказываний с кванторами надо:

квантор общности заменить квантором существования или наоборот;

высказывание заменить его отрицанием (поставить перед глаголом частицу «не »).

На языке математических символов это запишется так.

Пример 1. Установить истинность высказывания · С Решение. В состав сложного высказывания входят 3 простых высказывания: А, В, С.

В таблице заполняются колонки значениями (0, 1). Указываются все возможные ситуации. Простые высказывания от сложных отделяются двойной вертикальной чертой. При составлении таблицы надо следить за тем, чтобы не перепутать порядок действий; заполняя столбцы, следует двигаться “изнутри наружу”, т.е. от элементарных формул к более и более сложным; столбец, заполняемый последним, содержит значения исходной формулы.

А	В	С		А+		· С
0	0	0	1	1	0	0
0	0	1	1	1	0	0
0	1	0	0	0	1	0
0	1	1	0	0	1	1
1	0	0	1	1	0	0
1	0	1	1	1	0	0
1	1	0	0	1	0	0
1	1	1	0	1	0	0

Из таблицы видно, что данное высказывание истинно только в случае, когда А=0, В=1, С=1. Во всех остальных случаях оно ложно.

Вы также можете найти интересующую информацию в научном поисковике Otvety.Online. Воспользуйтесь формой поиска:

Еще по теме 1. Установление истинности сложных высказываний.:

1. 29. Проблема разрешимости в алгебре высказываний(АВ). Алгоритмы проверки формул алгебры высказываний на тождественную истинность: составление таблицы истинности, выполнение равносильных преобразований (анализ КНФ), алгоритм редукции, алгоритм Квайна. Преимущества и недостатки указанных методов.
2. Вопрос 6. Исчисление высказываний. Аксиомы. Правило вывода. Вывод. Тождественная истинность выводимых формул (доказать). Непротиворечивость исчисления высказываний. Теорема о полноте исчисления высказываний. Проблема разрешимости. Исчисление высказываний. Проблема разрешимости