Исказна алгебра
Из пројекта Википедија
[уреди] Дефиниција
Нека су и
два различита знака. Уређена шесторка
назива се исказна алгебра ако су
бинарне операције скупа
дате таблицама
|
|
|
|
а унарна операциај дата следећом таблицом
|
Приоритет операција одговара приоритету логичких везника у исказним формулама.
Свако пресликавање назива се n-арна операција исказне алгебре.
Поред наведених операција, у исказној алгебри често се користе и следеће две:
Шеферова
Лукасијевичева
[уреди] Однос исказних формула и исказне алгебре
Исказне формуле интерпретирамо у исказној алгебри.
Валуација је пресликавање
које исказним словима додељује вредности из скупа
.
Вредност исказне формуле A у валуацији , у ознаци
дефинисана је на следећи начин:
Значи, исказној формули додељујемо функцију
за коју важи , где је α валуација за коју важи
.