Исчисление высказываний



Дата02.01.2013
Размер25.1 Kb.
ТипДокументы
. Исчисление высказываний.
Давая описание алгебры высказываний, мы пользовались логическими значениями высказываний (истина, ложь). Но понятия истинности и ложности не математические. Эти понятия во многих случаях субъективны и, скорее, относятся к философии.

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

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

Алфавит исчисления высказываний состоит из символов трех категорий:

  1. Символы первой категории: Эти символы будем называть переменными высказываниями.

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

  2. Третью категорию составляет пара символов ( ), называемая скобками.

Других символов исчисление высказываний не имеет.

Формулы исчисления высказываний представляют собой последовательности символов алфавита исчисления высказываний. Для обозначения формул будем пользоваться большими буквами латинского алфавита. Эти буквы не являются символами исчисления. Они представляют собой только условные обозначения формул.

Определение формулы исчисления высказываний.

  1. Всякая переменная является формулой.

  2. Если А и В- формулы , то слова - тоже формулы.

  3. Никакая другая строчка символов не является формулой.

Переменные высказывания будем называть элементарными формулами.

Приведем примеры формул исчисления высказываний.

Переменные высказывания являются формулами согласно п.1 определения формулы. Но тогда слова являются формулами согласно п.2 определения. По этой же причине будут формулами слова: gif" name="object7" align=absmiddle width=273 height=22>

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

Одновременно с понятием формулы вводится понятие подформулы или части формулы.

1. Подформулой элементарной формулы является она сама.

  1. Если формула имеет вид , то ее подформулами являются: она сама, формула А и все подформулы формулы А.

  2. Если формула имеет вид (А*В)(здесь и в дальнейшем под символом * будем понимать любой из трех символов ), то ее подформулами являются: она сама, формулы А и В и все подформулы формул А и В.

Например, для формулы ее подформулами будут:

- подформула нулевой глубины,

-подформулы первой глубины,

-подформулы второй глубины,

-подформулы третьей глубины,

-подформула четвертой глубины.

Таким образом, по мере “погружения вглубь структуры формулы” мы выделяем подформулы все большей глубины.

Очевидно, что на самой большой глубине находятся лишь элементарные формулы. Однако элементарные формулы могут быть и на других глубинах.

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

В связи с этими правилами формулы будем писать соответственно.

Похожие:

Исчисление высказываний iconОсновы логического программирования Исчисление высказываний пропозициональная логика
Исчисление высказываний (пропозициональная логика) — это формальная теория, основным объектом которой служит понятие логического...
Исчисление высказываний iconИсчисление высказываний
Примеры высказываний: «Снег белый», «Прохоров – декан». «Истина» или «ложь», приписанная некоторому высказыванию, называется истинностным...
Исчисление высказываний iconВопросы по курсу: Математическая логика и теория алгоритмов (2 курс)
Логика высказываний. Операции над высказываниями. Алгебра высказываний. Формулы логики высказываний. Логическая эквивалентность и...
Исчисление высказываний iconСвязь между алгеброй высказываний и исчислением высказываний
Формулы исчисления высказываний можно интерпретировать как формулы алгебры высказываний. Для этого будем трактовать переменные исчисления...
Исчисление высказываний iconЛекция 9 Исчисление высказываний Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга
Исчисление высказываний Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга
Исчисление высказываний iconПрограмма курса математическая логика для студентов 1-2 курсов
Секвенциальное исчисление высказываний. Вывод в исчислении. Теорема о подстановке
Исчисление высказываний iconПрограмма курса математическая логика для студентов 1-2 курсов
Секвенциальное исчисление высказываний. Вывод в исчислении. Теорема о подстановке
Исчисление высказываний iconПрограмма курса математическая логика для студентов 1-2 курсов
Секвенциальное исчисление высказываний. Вывод в исчислении. Теорема о подстановке
Исчисление высказываний iconПрограмма экзамена по математической логике и теории алгоритмов
Исчисление высказываний. Алфавит, формулы, секвенции. Схемы аксиом и правил вывода. Доказательство. Примеры доказуемых секвенций
Исчисление высказываний iconАлгебра высказываний. Основные операции алгебры высказываний
Цель урока: создать условия для первичного представления об алгебре высказываний, побудить интерес к изучению данной темы, формирование...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org