Исчисление высказываний
Категория реферата: Рефераты по информатике, программированию
Теги реферата: виды рефератов, банк курсовых работ бесплатно
Добавил(а) на сайт: Червячок.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата
соответствует выражение
pÞq
Однако, ясно, что между двумя фактами “1+1=2” и “Солнце - центр Солнечной системы” нет связи. Таким образом, причинно-следственная связь - еще один пример, выразимый в естественном языке и не охватываемый в исчислении высказываний.
Выражение pÛq используется, когда одно высказывание имплицирует другое и наоборот. Например, если АВС - треугольник со сторонами а, b, c, то a2+b2=c2 тогда и только тогда, когда АВС - прямоугольный.
Если обозначить p - a2+b2=c2, q - АВС - прямоугольный, то вся фраза может быть записана как
pÛq,
т.е. pÞq и qÞ p истинны одновременно.
Вычисление истиности высказываний.
В главе 1 мы уже сталкивались с понятием состояния набора переменных.
Определение 5.2. Пусть p1……. pn - набор всех переменных типа boolean, встречающихся в некотором высказывании. Тогда множество конкретных значений этих пременных называется их состоянием.
Рассмотрим выражение pÚq . Набор его переменных { p, q }. Поскольку каждая из переменных может принимать только одно из двух значений true, или false , то все множество возможных состояний для этого набора состоит из 4-х пар:
(T,T), (T,F), (F,T), (F,F).
(Везде далее мы будем использовать в этой главе сокращения Т вместо true, F вместо false). Теперь для каждого состояния достаточно указать значение этого выражения и функция pÚq будет определена. Это делается с помощью, так называемых, таблиц истиности. Ниже показана таблица истиности для pÚq (Таблица 5.2.).
Таблица 5.2.
Таблица истиности для pÚq
|
p |
q |
pÚq |
||
|
T |
T |
T |
||
|
T |
F |
T |
||
|
F Рекомендуем скачать другие рефераты по теме: реферати, скачать дипломную работу. Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата Поделитесь этой записью или добавьте в закладкиКатегории: |