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

Значения неизвестно и не определено , интерпретируемые как степени принадлежности, используются также в представлении нечетких множеств типа 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.

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

Примеры высказываний: есть четное число», «1 есть простое число». Истинностное значение первых двух высказываний - «истина», истинностное значение последних двух

Вопросительные и восклицательные предложения не являются высказываниями. Определения не являются высказываниями. Например, определение «целое число называется четным, если оно делится на 2» не является высказыванием. Однако повествовательное предложение «если целое число делится на 2, то оно четное» есть высказывание, и притом истинное. В логике высказываний отвлекаются от смыслового содержания высказывания, ограничиваясь рассмотрением его с той позиции, что оно либо истинно, либо ложно.

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

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

Логические операции над высказываниями.

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

Пусть А и В - произвольные высказывания, относительно которых мы не предполагаем, что известны их истинностные значения. Отрицанием высказывания А называется новое высказывание, истинное тогда и только тогда, когда А ложно. Отрицание А обозначается через и читается «не A» или «неверно, что А». Операция отрицания полностью определяется истинностной таблицей

Пример. Высказывание «неверно, что 5 - четное число», имеющее значение И, есть отрицание ложного высказывания «5 - четное число».

С помощью операции конъюнкции из двух высказываний получается одно сложное высказывание, обозначаемое А Д В. По определению, высказывание А Д В истинно тогда и только тогда, когда оба высказывания истинны. Высказывания А и В называются соответственно первым и вторым членами конъюнкции А Д В. Запись «А Д В» читается как «Л и В». Истинностная таблица для конъюнкции имеет вид

Пример. Высказывание «7 - простое число и 6 - нечетное число» ложно, как конъюнкция двух высказываний, одно из которых ложно.

Дизъюнкцией двух высказываний А и В называется высказывание, обозначаемое , истинное в том и только в том случае, когда хотя бы одно из высказываний А и В истинно.

Соответственно этому высказывание А V В ложно в том и только том случае, когда и А и В оба ложны. Высказывания А и В называются соответственно первым и вторым членами дизъюнкции А V В. Читается запись А V В как «A или В». Союз «или» в данном случае носит неразделительный смысл, поскольку высказывание А V В истинно и при истинности обоих членов. Дизъюнкция имеет следующую истинностную таблицу:

Пример. Высказывание «3 Высказывание, обозначаемое , ложное в том и только в том случае, когда А истинно, а В ложно, называется импликацией с посылкой А и заключением В. Высказывание А-+ В читается как «если А, то 5», или «A влечет В», или «из A следует В». Истинностная таблица для импликации такова:

Отметим, что между посылкой и заключением могут отсутствовать причинно-следственные связи, но это не может повлиять на истинность или ложность импликации. Например, высказывание «если 5 - простое число, то биссектриса равностороннего треугольника является медианой» будет истинным, хотя в обычном понимании второе не следует из первого. Истинным также будет высказывание «если 2 + 2 = 5, то 6 + 3 = 9», поскольку истинно его заключение. При данном определении, если заключение истинно, импликация будет истинной независимо от истинностного значения посылки. В том случае, когда ложна посылка, импликация будет истинна независимо от истинностного значения заключения. Эти обстоятельства кратко формулируют так: «истина следует из чего угодно», «из ложного следует все, что угодно».

Основным разделом математической логики является логика высказываний.

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

Примеры простых высказываний:

1. А= «Число 100 больше числа 10»

2. В= «Сегодня я в школу не пойду»

Задания.

1) Объясните, почему следующие предложения не являются высказываниями:

1. Какого цвета этот дом?

2. Число Х не превосходит единицы.

4. Посмотрите в окно.

5. Пейте томатный сок!

6. Эта тема скучна.

7. Валерий Леонтьев – популярный певец.

2) Приведите примеры простых высказываний, определите их истинность или ложность.

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

1. А= «Число 100 больше 10, но меньше 1000»

2. В= «Если завтра будет дождь, то в поход мы не пойдем»

Какие простые высказывания входят в сложные А и В?

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

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

Логические операции

1) Инверсия (операция отрицания или логическое отрицание, НЕ). Обозначается ù, ` .

Если А - истинное высказывание, то `А – ложное высказывание, и наоборот .

_ А

2) Конъюнкция (логическое умножение, соответствует союзу И). Обозначается Ù, × , & , математическим знаком умножения или опуская его.

Например: С = «Солнце светит и нет дождя».

Обозначим А = «Солнце светит», В= «нет дождя».

Тогда высказывание С можно записать: А Ù В (или А&В, А×В, АВ).

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

А	В	А&В (АВ)

3) Дизъюнкция (логическое сложение, ИЛИ), имеет два различных значения. Следует различать исключающее «или» и неисключающее «или».

В русском языке союз «или» используется в двояком смысле.

Например, в предложении «Обычно в 8 вечера я смотрю теле­визор или пью чай» союз «или» взят в неисключающем (объедини­тельном) смысле, так как вы можете только смотреть телевизор или только пить чай, но вы можете также пить чай и смотреть телевизор одновременно, потому что мама у вас нестрогая. Такая операция называетсянестрогой дизъюнкцией или просто дизъюнкцией. (Если бы мама была строгая, то она разрешила бы или только смотреть телевизор, или только пить чай, но не совмещать прием пищи с просмотром телепередач.)

В высказывании «Данный глагол I или II спряжения» союз «или» используется в исключающем (разделительном) смысле.Такаяоперация называетсястрогой дизъюнкцией.

Примеры строгих и нестрогих дизъюнкций:

а) Операция дизъюнкция (логическое сложение, нестрогая дизъюнкция), соответствует неисключающему ИЛИ, обозначается Ú , +.

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

4) Импликация . Выражается словосочетанием «если … то». Импликация А ® В истинна всегда, за исключением случая, когда А истинно, а В ложно . Таблица истинности импликации имеет следующий вид:

А В А®В 1

(Из опыта : Операция импликации (логического следования) является наиболее сложной для учащихся, так как она самая «формально опреде­ленная» и не подкрепляется «здравым смыслом». В процессе ее изучения имеет смысл поговорить о формальном исполнителе и его отличии от неформального .)

Примеры импликаций:

1) Если клятва дана, то она должна выполняться.

2) Если число делится на 9, то оно делится на 3.

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

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

1) Если коровы летают, то 2 + 2 = 5.

2) Если я - Наполеон, то у кошки четыре ноги.

Объяснить операцию импликацию можно, например, следующим образом.

Пусть даны высказывания:

А = На улице дождь. В = Асфальт мокрый .

А®В = «Если на улице дождь, то асфальт мокрый.»

Тогда, если идет дождь (А = 1) и асфальт мокрый (В = 1), то это правильно. Но если вам скажут, что на улице идет дождь (А = 1), а асфальт остается сухим (В = 0), то вы посчитаете это ложью. А вот когда дождя на улице нет (А = 0), то асфальт может быть и сухим, и мокрым (например, только что проехала поливальная машина).

5) Операция эквиваленция обозначается знаками «, =, Û. Сложное высказывание А«В
(А эквивалентно В) истинно тогда и только тогда, когда и А и В истинны, или когда и А и В – ложны.

Сводная таблица логических операций

(заполняется учащимися самостоятельно):

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

Операция	Обозначение	Перевод на естественный язык
Инверсия (отрицание)	Ā, ùА, не А	не А; неверно, что А
Конъюнкция (логическое произведение)	АВ, АÙВ, А и В, А and В, А´В, А&В, А×В	и А, и В; как А, так и В; А вместе с В; А несмотря на В; А, в то время как В
Дизъюнкция простая (логическая сумма, не исключающее ИЛИ)	А+В, А Ú В, А или В, А or В	А или В
Дизъюнкция строгая (исключающее ИЛИ)	А"В, А Å В	или А или В либо А, либо В
Импликация	А®В, АÞВ	Если А, то В; В если А; В необходимо для А; А достаточно для В; А только тогда, когда В; В тогда, когда А; все А есть В
Эквиваленция	А«В, АÛВ	А равно В; А эквивалентно В; А необходимо и достаточно для В; А тогда и только тогда, когда В

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

Упражнения.

1. Даны два высказывания:

А={Число 5 - простое},

В={Число 4 - нечетное},

Очевидно, что А=1, В=0.

В чем заключаются высказывания:

а) Ā, б) `В, в) АВ, г) А+В д) А®В

Какие из высказываний а) – г) истинны? Составьте таблицы истинности.

2. Найдите значения выражений:

а) (1 + 1) Ú (1 + 0);

б) ((1 + 0) + 1) + 1;

в) (А + 1) + (В + 0);

г) (0 Ù 1) Ù 1;

д) 1 Ù (1 Ù 1) Ù 1;

е) ((1 Ú 0) Ù (1 Ù 1) Ù (0 Ú 1);

ж) ((1 Ù А) Ú (В Ù 0)) Ú 1;

з) ((1 Ù 1) Ú 0) Ù (0 Ú 1);

и) ((0 Ù 0) Ú 0) Ù (1 Ú 1);

к) ((0 × 1) + (1 + 1)) × 1.

3. Переведите на язык алгебры логики высказывания:

1) «Я поеду в Москву, и если встречу там друзей, то мы интересно проведем там время»

2) «Если я поеду в Москву и встречу там друзей, то мы интересно проведем там время»

3) «Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя».

4) «Если будет солнечная погода, то ребята пойдут в лес, а если будет пасмурно, то пойдут в кино»

5) «Неверно, что если погода пасмурная, то дождь тогда и только тогда, когда нет ветра».

6) «Если урок по информатике будет интересным, то ни Миша, ни Света, ни Вика не будут смотреть в окно»

Решение:

1) М × (В ® И); 2) (М × В) ® И; 3) В ® С ®`Д;

4) (С ® Л) × (`С ® К); 5) П ® (Д « `В); 6) И ® `М ×`С ×`В

1) «Вам никогда не удастся создать мудрецов, если будете убивать в детях шалунов» (Ж.Руссо).

2) «Чтение художественной литературы – неоценимый источник познания жизни и законов ее борьбы».

4) «Мудрость – это способность предвидеть отдаленные последствия совершаемых действий, готовность пожертвовать сиюминутной выгодой ради больших благ в будущем и умение управлять тем, что управляемо, не сокрушаясь из-за того, что неуправляемо» (Ракофф).

6) «Верность друга нужна и в счастье, в беде же она совершенно необходима».

4. Являются ли высказываниями русские народные пословицы и поговорки? Приведите примеры. (Из опыта : Объявляется конкурс «Знаешь ли ты пословицы, которые являются высказываниями». Победителей обычно несколько, поощряются оценками и поощрительными аплодисментами одноклассников )

Самостоятельная работа №1.

(примерные задания в приложении 1, некоторые решения и ответы в приложении 2)

1) Решить логическую задачу табличным способом;

2) Записать сложные высказывания на языке алгебры логики;

3) Найти значение выражения.

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

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

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

В `В А`В А`В А`В ® А

Из полученной таблицы видно, что значения формулы А`В ® А совпадают со значениями формулы А. Такие формулы называются равносильными . Для обозначения равносильности используют обычно знак равенства.

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

2. Определить число строк в таблице m= 2 n .

3. Определить количество столбцов в таблице: число переменных плюс число операций.

4. Выписать наборы входных переменных с учетом того, что они представляют собой натуральный ряд n–разрядных двоичных чисел от 0 до 2 n -1.

5. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии приоритета операций.

Пример. Построить таблицу истинности для формулы F=A ® B&C

0

Упражнения.

1. Проверьте равносильность следующих формул с помощью таблиц истинности:

1) А (А + В) = А

2) А + АВ = А

3) А ® В = Ā + В

4) А ® В = `А ®`В

5) `А +`В = А В

6) А + В = Ā ×`В

2. Определите значение формулы: F= ((С+В)®В) × (АВ) ®В.

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

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

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

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; б) Найдется такое натуральное число , что
; в) В некоторых студенческих группах учатся кандидаты в мастера спорта; г) Хотя бы один угол в треугольнике острый.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ложное и истинное высказывание часто употребляется в языковой практике. Первая оценка воспринимается как отрицание истинности (неистинности). В реальности используют и иные виды оценки: неопределенность, недоказуемость (доказуемость), неразрешимость. Рассуждая над тем, для какого числа x истинно высказывание, необходимо рассмотреть законы логики.

Возникновение «многозначной логики» привело к использованию неограниченного числа показателей истинности. Ситуация с элементами истинности запутана, усложнена, поэтому важно внести в нее ясность.

Принципы теории

Истинное высказывание - это значение свойства (признака), рассматривается всегда для определенного действия. Что такое истина? Схема следующая: «Высказывание Х обладает значением истинности Y в том случае, когда истинно высказывание Z».

Давайте рассмотрим пример. Нужно понять, для какого из приведенных истинно высказывание: «Предмет а имеет признак В». Это высказывание неверно в том, что у предмета есть признак В, и неверно в том, что а не обладает признаком в». Термин «неверно» в данном случае употребляется в качестве внешнего отрицания.

Определение истинности

Как определяется истинное высказывание? Вне зависимости от структуры высказывания Х допускается только следующее определение: «Высказывание Х истинно тогда, когда есть Х, только Х».

Данное определение дает возможность ввести в язык термин «истинно». Оно определяет акт принятия согласия или высказывания с тем, о чем говорится в нем.

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

В них истинное высказывание без определения. Можно ограничиться при высказывании «Не-Х» общим определением, если это высказывание не является истинным. Истинна конъюнкция "X и Y", если будут истинны X и Y.

Пример высказывания

Как понять, для каких x истинно высказывание? Чтобы ответить на этот вопрос, используем выражение: «Частица а находится в области пространства b». Рассмотрим для этого высказывания следующие случаи:

• невозможно наблюдать частицу;
• можно наблюдать частицу.

Второй вариант предполагает определенные возможности:

• частица реально находится в определенной области пространства;
• ее нет в предполагаемой части пространства;
• частица движется так, что сложно определить область ее расположения.

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

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

Двузначности принцип

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

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

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

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

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

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

Чтобы понять, для какого из приведенных чисел истинно высказывание, подходит двухзначная логика.

Принцип многозначности

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

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

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

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

Семантика логических знаков

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

Данная проблема рассматривалась уже в античном мире, но в виде полноценной самостоятельной дисциплины она была сформулирована только на рубеже XIX—XX веков. Работы Г. Фреге, Ч. Пирса, Р. Карнапа, С. Крипке позволили выявить суть данной теории, ее реалистичность и целесообразность.

На протяжении длительного временного периода семантическая логика опиралась в основном на анализ формализованных языков. Только в последнее время большая часть исследований стала посвящаться естественному языку.

В данной методике выделяют две основные области:

• теорию обозначения (референции);
• теорию смысла.

Первая предполагает исследование отношения разнообразных языковых выражений к обозначаемым объектам. В качестве ее основных категорий можно представить: «обозначение», «имя», «модель», «интерпретация». Данная теория является основой для доказательств в современной логике.

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

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

Логическое уравнение

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

Знак равенства в математике в некоторых ситуациях свидетельствует о равенстве исходных объектов, а в ряде случаев он ставится для демонстрации равенства их значений. Запись F1=F2 может свидетельствовать о том, что речь идет об одной и той же формуле.

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

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

Данный факт стал основой пропозициональной логики. Существует подразделение высказываний на простые и сложные группы.

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

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

• «не»,
• «неверно, что…»,
• «или».

Заключение

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

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

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

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

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

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

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