Значения истинности. Алгебра высказываний

Тема программы: Высказывания и операции над ними.

Цели урока:

1) Обобщить теоретические знания по теме: «Высказывания и операции над ними».

2) Рассмотреть алгоритмы решений заданий теме «Высказывания и операции над ними», решить задачи.

3) Формировать умение прогнозировать собственную деятельность, умение организовать свою деятельность и анализировать ее.

Время выполнения: 1 час.

Теоретические основы

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

Примеры высказываний.
1) Москва стоит на Неве.
2) Лондон - столица Англии.
3) Сокол не рыба.
4) Число 6 делится на 2 и на 3.
Высказывания 2), 3), 4) истинны, а высказывание 1) ложно.
Очевидно, предложение «Да здравствует Россия!» не является высказыванием.
Различают два вида высказываний.
Высказывание, представляющее собой одно утверждение, принято называть простым или элементарным. Примерами элементарных высказываний могут служить высказывания 1) и 2).
Высказывания, которые получаются из элементарных с помощью грамматических связок «не», «и», «или», «если.... то...», «тогда и только тогда», принято называть сложными или составными.
Так, высказывание 3) получается из простого высказывания «Сокол - рыба» с помощью отрицания «не», высказывание 4) образовано из элементарных высказываний «Число 6 делится на 2», «Число 6 делится на З», соединенных союзом «и».
Аналогично сложные высказывания могут быть получены из простых высказываний с помощью грамматических связок «или», «тогда и только тогда».
В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения, а от их житейского содержания отвлекаются. Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.
Элементарные высказывания обозначаются малыми буквами латинского алфавита: х, у, z, ..., а, b, с, ...; истинное значение высказывания цифрой 1, а ложное значение - буквой цифрой 0.
Если высказывание а истинно, то будем писать а = 1 , а если а ложно, то а = 0 .

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

Отрицание.

Отрицанием высказывания х называется новое высказывание , которое является истинным, если высказывание х ложно, и ложным, если высказывание х истинно.

Отрицание высказывания х обозначается и читается «не х» или «неверно, что х» .

Логические значения высказывания можно описать с помощью таблицы.

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

Например, для высказывания «Путин президент России» отрицанием будет высказывание «Путин не президент России», а двойным отрицанием будет высказывание «Неверно, что Путин не президент России».

Конъюнкция.

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

Например, для высказываний «6 делится на 2», «6 делится на 3» их конъюнкцией будет высказывание «6 делится на 2 и 6 делится на 3», которое, очевидно, истинно.

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

Дизъюнкция

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

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

Импликация.

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

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

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

Эквивалентность.

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

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

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

Практические задания

1. Установить логическую структуру следующих предложений и записать их на языке логики высказываний:

  • Если металл нагревается, он плавится.
  • Неправда, что философские споры неразрешимы.
  • Деньги - продукт стихийного развития товарных отношений, а не результат договоренности или какого-либо иного сознательного акта.

2. Записать логической формулой следующие высказывания:

а) если на улице дождь, то нужно взять с собой зонт или остаться дома;

Б) если - прямоугольный и стороны - равны, то

3. Проверить истинность высказывания:

а) , если, .

б) , если, .

в) , если, .

4. Проверить истинность высказывания:

а) Чтобы завтра пойти на занятия, я должен встать рано. Если я сегодня пойду в кино, то лягу спать поздно. Если я лягу спать поздно, то встану поздно. Следовательно, либо я не пойду в кино, либо не пойду на занятия.

б) Я пойду либо в кино, либо в бассейн. Если я пойду в кино, то получу эстетическое удовольствие. Если я пойду в бассейн, то получу физическое удовольствие. Следовательно, если я получу физическое удовольствие, то не получу эстетического удовольствия.

5 . На вопрос: «Кто из трех студентов изучал дискретную математику?» получен верный ответ: «Если изучал первый, то изучал и третий, но неверно, что если изучал второй, то изучал и третий». Кто изучал дискретную математику?

6. Определите, кто из четырех студентов сдал экзамен, если известно:

если первый сдал, то и второй сдал;

если второй сдал, то третий сдал или первый не сдал;

если четвертый не сдал, то первый сдал, а третий не сдал;

если четвертый сдал, то и первый сдал.

Контрольные вопросы

1. Какие элементы входят язык логики?

2. Какие способы установления общезначимости формулы логики вы знаете?

Список литературы

Практические занятия № 10-11

Тема программы: Формулы алгебры высказываний.

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

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

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

Значение истинности

Эта статья или раздел - грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой-переводчиком или сделан человеком со слабыми познаниями в языке оригинала. ¬(Шаблон:Mvar∧Шаблон:Mvar) ⇔ ¬Шаблон:Mvar ∨ ¬Шаблон:Mvar ¬(Шаблон:Mvar∨Шаблон:Mvar) ⇔ ¬Шаблон:Mvar ∧ ¬Шаблон:Mvar

Многозначная логика

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

Алгебраическая семантика

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

В других теориях

Интуиционистской теории типов использует типы вместо значений истинности.

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

См. также

Ссылки


Wikimedia Foundation . 2010 .

Смотреть что такое "Значение истинности" в других словарях:

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

    Значение истинности (в логике), значение, которое принимает Высказывание (предложение, суждение), рассматриваемое по отношению к отображаемому в нём содержанию. В обычной (классической) логике используются два И. з. «истинно», «ложно»; в… … Большая советская энциклопедия

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

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

    Денотат (от лат. denotatum обозначенное), термин лингвистики и экстенсиональной логики, обозначающий 1) экстенсионал, 2) десигнат, 3) референт и 4) семантическое ядро значения. Содержание 1 Денотат как экстенсионал 2 Денотат как десигнат … Википедия

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

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

    - (от лат. factum сделанное, совершившееся) 1) синоним понятий «истина», «событие», «результат»; нечто реальное в противоположность вымышленному; конкретное, единичное в отличие от абстрактного и общего; 2) в философии науки особого рода п … Философская энциклопедия

    - (в л о г и к е) – истинность предложения (суждения, высказывания), обусловленная, в отличие от т.н. логич. истинности, содержанием этого предложения. Иначе говоря, предложение является фактически истинным, когда его истинность зависит от значений … Философская энциклопедия

    Стереометрическая семантика - трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь

Книги

  • Как искренне поверить в Бога, или Единственное, что имеет значение для развития веры , Враджев В.. Прежде чем сделать первые шаги в духовную жизнь, каждый человек всегда задается вопросом:`Существует ли Бог на самом деле?`И такому человеку, привыкшему воспринимать окружающий мир с помощью…

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

Высказыванием называют повествовательное предложение, которое имеет определенное значение истинности: истина или ложь. Истинному высказыванию ставится в соответствии 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= ((С+В)®В) × (АВ) ®В.