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

О философии

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

Разделы




Алгебра высказываний
Другая философия / Логика высказываний / Алгебра высказываний
Страница 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

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

    2.1 Логический атомизм: язык как средство остановки регресса
      Мысль о том, что философия должна опираться на логический анализ языка, восходит к Лейбницу, который выступал за создание идеального языка с точными правилами определения и преобразования ...

    Средневековая философия. Главное – БОГ!!!
    Вера, церковь. Филон.- разработал учение о логосе, который есть то высшая идея, то верховный архангел- иудейские законы – это законы природы и они имеют значение для всех- человек – интеллектуальное ...

    Предмет и функции философии
    Первой исторической формой философского мышле­ния была натурфилософия, то есть философское учение о природе, философия при- роды. Она представляла собой целостное знание о природе и ее развитии, ...