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

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

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

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

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

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

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

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

1) всякое переменное Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru или постоянное Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru высказывание является формулой,

2) если А и В – формулы, то предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – также формулы,

3) никакая другая последовательность символов не является

формулой.

Таким образом, если Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – формулы, то предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – тоже формулы. Формулами будут также предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Очевидно, что предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru не являются формулами.

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Понятие об аксиоме. Система аксиом.

аксиома – это некоторое исходное положение, принимаемое в данной науке без доказательства

Исчисление высказываний опирается на 11 аксиом и 2 простейших правила вывода. Все аксиомы являются правильными сложными высказываниями. Они разделены на 4 группы.

Система аксиом исчисления высказываний

Первая группа аксиом:

I1 Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

I2 Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Вторая группа аксиом:

II Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

II Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

II Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Третья группа аксиом:

II Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

II Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

II Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Четвертая группа аксиом:

IV Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

IV Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

IV Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Тогда правило подстановка схематически запишется так

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru .

Читается эта запись следующим образом: “Если формула Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru доказуема, то доказуема и формула Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru ”.

2.Правило заключения (ПЗ – modus ponens)

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

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Понятие предиката, определённого одноместного предиката. Множество истинности предиката. Тождественно истинный предикат. Примеры предикатов.

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

Субъект – это то, о чем что-то утверждается в высказывании. Предикат – это то, что именно утверждается о субъекте. Например, в высказывании “12 – составное число” “12” – субъект, “ составное число” – предикат. Это высказывание утверждает, что “12” обладает свойством быть составным числом.

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

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

Множество всех элементов Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , при которых предикат Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru принимает значение “истина”, называется множеством истинности этого предиката. Символически множество истинности предиката Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru записывают так: Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru . Эта запись означает, что множество Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru состоит из элементов, обладающих свойством, указанным после двоеточия.

Определение 2.Предикат Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , определенный на множестве Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , называется тождественно истинным (тождественно ложным), если Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru .

Обобщением понятия одноместного предиката является понятие Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru -местного предиката, с помощью которого выражается отношение между Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru предметами.

Понятие Н местного предиката. Двухместного предиката. Пример бинарного предиката. Декартово произведение 2 множеств.

Определение 3. Двухместным предикатом Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru называется функция двух переменных Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , определенная на множестве Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и принимающая значение из множества Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru . Примерами двухместных предикатов являются: предикат равенства Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru ─ “ Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru ”, определенный на множестве действительных чисел Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , предикат делимости нацело Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ruНазначение исчисления высказываний и отличие от алгебры логики. - student2.ru ”, определенный на множестве Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru .

Таким образом, предикат – это функция или, как мы уже говорили выше, высказывательная форма. Если, например, в высказывательную форму Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru мы подставим вместо Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru какие-то конкретные значения, то высказывательная форма становится высказыванием, принимающим вполне определенные значения истины или лжи (1 или 0). Так, Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru есть предикат (высказывательная форма), но Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru уже является истинным высказыванием, а Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru − ложным высказыванием. В то же время Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru является высказывательной формой (предикатом), так как его значение истинности зависит от того, каким натуральным числом будет заменена переменная Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru (т.е. является функцией от Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , а значит, предикатом). В то же время Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru является высказыванием, причем истинным, так как любое Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru делится на единицу.

Еще несколько замечаний о терминологии. Иногда вместо термина “ Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru -местный предикат” употребляют термин “ Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru -арный предикат”. При Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru этот предикат называется унарным (от лат. unio ─ единение, единый), при Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru − бинарным (от лат. binaries − двойной) и при Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru − тернарным (от лат. tertia – третья).

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

Дизъюнкция импликация

Дизъюнкцией двух предикатов Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru называется новый предикат Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , который принимает значение “ложь” при тех значениях Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , при которых каждый из предикатов принимает значение “ложь”, и принимает значение “истина” во всех остальных случаях.

Очевидно, что множеством истинности предиката Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru является объединение множеств истинности предикатов Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , т.е. Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru . Так, для тех же предикатов, что и в выше приведенном примере, их дизъюнкцией Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru будет предикат “ Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru −четное число или Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru кратно 5”, множество истинности которого есть Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru .

Импликацией предикатов Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru называется новый предикат Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , который является ложным при тех значениях Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , при которых предикат Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru принимает значение “истина”, а предикат Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru − значение “ложь” и принимает значение “истина” во всех остальных случаях.

Множество истинности этой импликации определяется из следующих рассуждений: Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru следовательно Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru .

Так, для предикатов Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru − “ Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru кратно 4” и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru − “ Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – четное число”, определенных на Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , импликацией Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru является предикат словесная формулировка которого будет: “если Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru кратно 4, то Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – четное число. Так как Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru , Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru ,то Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru т.е. все натуральные числа.

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

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

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

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

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

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

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

1) всякое переменное Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru или постоянное Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru высказывание является формулой,

2) если А и В – формулы, то предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – также формулы,

3) никакая другая последовательность символов не является

формулой.

Таким образом, если Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru и Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – формулы, то предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru – тоже формулы. Формулами будут также предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru Очевидно, что предложения Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru не являются формулами.

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Назначение исчисления высказываний и отличие от алгебры логики. - student2.ru

Наши рекомендации