7 0_Формулы логики высказываний. Формулы логики высказываний

• Название: Формулы логики высказываний
• Анкор: 7 0_Формулы логики высказываний.doc
• Дата: 28.07.2018
• Размер: 62 Kb.
• Имя файла: 7 0_Формулы логики высказываний.doc
• Тип: Документы; #22127

Формулы логики высказываний

Элементарные высказывания принимают одно из двух значений {0,1}.

Пропозициональными переменными (обозначаются маленькими буквами) называются переменные, значениями которых являются элементарные высказывания.

Логические связки.

1. Унарная связка

х	х
0	1
1	0

Отрицание: А  (читается: не-А)

Смысл отрицания определяется таблицей.

2. Бинарные связки

Конъюнкция:  (читается А и В)

Дизъюнкция:  (А или В)

Импликация:  (из А следует В)

Результат импликации ложен только тогда, когда исходное (А) высказывание ложно, а результат (B) истинен.

Пояснение: (x делится на 4) -> (x делится на 2) – истина при любом х.

Поэтому (5 делится на 4) -> (5 делится на 2) и (2 делится на 4) -> (2 делится на 2) должны быть истинами.

Эквивалентность: ,, А=В (А равносильно В)

Результат эквивалентности есть истина, если A и B одновременно истинны, либо одновременно ложны (иными словами, если A=B).

Сложение по модулю 2: АВ (либо А, либо В)

Смысл этих связок определяется таблицей:

x1	x2	х1&х2	х1Vх2	х1->х2	х1=х2	х1х2
0	0	0	0	1	1	0
0	1	0	1	1	0	1
1	0	0	1	0	0	1
1	1	1	1	1	1	0

ОПРЕДЕЛЕНИЕ. Пропозициональной формулой называется строка символов, которая является либо пропозициональной переменной, либо совпадает с одной из строк (А), , (, (, (, (АВ), где A и B – формулы.

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

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

Логическое значение формулы определяется заданными логическими значениями входящих в неё элементарных высказываний.

Пример. Если x1=1, x2=1, x3=0 , то значение формулы _{равно 0.}

Если же ставится задача определить все возможные значения формулы, строится ее таблица истинности. В этой таблице начальные столбцы соответствуют исходным (элементарным) высказываниям, а последний - результирующему (сложному) высказыванию. В начальных столбцах проставляются все возможные комбинации истинности элементарных высказываний, а в последнем истинность сложного высказывания. Каждой комбинации исходных высказываний в формуле соответствует отдельная строка. Число значений формулы (и число строк таблицы) определяется числом элементарных высказываний n и равно 2^n.

Пример.

Для формулы построить таблицу истинности.

x	y	x	y	xy	xy	p
1	1	0	0	0	1	1
1	0	0	1	1	0	0
0	1	1	0	0	1	1
0	0	1	1	0	1	1

Выполнимые формулы. Тавтологии и противоречия. Логические следствия.

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

Примеры тавтологий: xx ; x(yx).

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

Пример противоречия: xx.

Формула алгебры логики называется выполнимой, если она принимает одно значение 1 хотя бы на одном наборе значений входящих в неё элементарных переменных высказываний.

Любая формула, не являющаяся противоречием, является выполнимой (и наоборот).

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

Очевидно, что эта проблема может быть решена путём построения для заданной формулы таблицы истинности.

Существуют и другие способы решения этой проблемы (но на сегодняшний день неизвестны более эффективные). Но для определенных классов формул такие эффективные методы разработаны.