close

Вход

Забыли?

вход по аккаунту

?

14

код для вставкиСкачать
 Исчисление высказываний.
Введение:давая описания алгебры высказываний мы пользовались логическими значениями этих высказываний(истина и ложь), но понятия истина и ложь не являются математическими, они субъективны и относятся к философским областям, отсюда желательно построить математическую логику, не пользуясь понятиями истина и ложь и при этом стараться не применять сами законы логики. Это позволяет реализовывать построение исчисления высказываний. А исчисление высказываний-это аксиоматическая теория, интепритацией которой будет алгебры вычислений.
Понятия формулы исчисления высказываний:
* Описание всякого исчисления начинается с описания его символов(алфавита),формул(конечной конфигурации символов) и определения выводимых формул. Алфавит исчисления высказываний состоит из символов 3х категорий:
1. x,y,z или х[1],x[2],x[3] и так далее. Эти символы называются переменными высказыания.
2. V,&,->,отрицания
3. () (скобок)
Других символов исчисление высказываний не имеет.
Формулы исчисления высказываний представляют собой последовательности символов алфавита и для обозначения мы будем использоваться большие буквы латинского алфавита(условное обозначение формулы)
Исчисление высказываний(определение)
* Всякая переменная x,y,z и так далее является формулой
* Если А и В формулы, то слова А&В и А V В и А->В - тоже формулы.
* Никакая другая строка символов формулой не является.
Переменные высказывания называются элементарными функциями.
Рассмотрим понятие подформулы формулы:
* Подформулой элементарной формулы является только она сама
* Если формула имеет вид А,то её подформулами являются она сама, формула А и все подформулы формулы А.
* Если функция имеет вид А&В, А V В, А->В , то её подформулами является она сама,формулы А и В и все подформулы А и В
ЗДЕСЬ ФОРМУЛА С ГУЛБИНАМИ,ЕЁ ПРОЩЕ НАПИСАТЬ ВРУЧНУЮ
На самой большой глубине находятся только элементарные формулы. В записи формул допускается упрощения.
Определение доказываемой функции.
Следующим шагом в построении исчисления высказываний является определение доказываемой формулы, притом определяют сначала доказываемые формулы(аксиомы), а затем определяют правила вывода, которые позволяют из исходных доказуемых формул получать новые.
Получение доказуемых формулы из исходных путем применения правил вывода называется выводом данной формулы из системы аксиом.
Автор
lovematanfo
Документ
Категория
Без категории
Просмотров
41
Размер файла
22 Кб
Теги
1/--страниц
Пожаловаться на содержимое документа