Главная | Новое | Популярное | Карта сайта

О философии

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

Разделы




Алгебра высказываний
Другая философия / Логика высказываний / Алгебра высказываний
Страница 1

Любая формула алгебры высказываний рассматривается как сложное высказывание, принимающее значение 0,1. В алгебре высказываний решается следующая задача: определить истинностное значение формулы исчисления высказываний для любой комбинации истинностных значений входящих в нее переменных.

Для решения этой задачи пользуются следующим алгоритмом.

1) Атомарное высказывание, т.е. переменная, может принимать два значения «1» или «0».

2) Значение формул образованных неоднократным применением логических связок к атомарным высказываниям, задается таблицей:

р

q

`p

`q

pÙq

pÚq

p→q

p≡q

0

0

1

1

0

0

1

1

0

1

1

0

0

1

1

0

1

0

0

1

0

1

0

0

1

1

0

0

1

1

1

1

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

Так, пользуясь указанным алгоритмом можно легко вычислить истинностное значение формулы:

((p→q)Ù(q→r))→(p→r)

p

q

r

p→q

q→r

p→r

(p→q)Ù(q→r)

((p→q)Ù(q→r)

)→(p→r)

0

0

0

1

1

1

1

1

0

0

1

1

0

0

0

1

0

1

0

1

1

0

1

1

1

0

0

0

1

0

0

1

0

1

1

1

1

1

1

1

1

0

1

0

1

1

0

1

0

1

1

1

0

0

0

1

1

1

1

1

1

1

1

1

Страницы: 1 2

    Смотрите также

    11.1 Эпистемологический и онтологический плюрализм Н.Гудмена
      Нельзя провести никакое ясное и устойчивое общее различие между содержанием и способом дискурса — таково послание, встречающее читателя на первых же страницах "Способов создания миро ...

    4.6 Теория истинности А.Тарского
      Тарский поставил цель определить предикат "истинный", используя в определениях только ясно приемлемые термины и избегая других недоопределенных семантических терминов. Рассмо ...

    10.9 Аргументы когерентной теории обоснования и перцептуальные утверждения
      Исходный контраст между когерентными и фундаменталистскими теориями вновь проявляется при столкновении с эпистемической проблемой регресса. Очевидно, что обоснование некоторого полагания ...