Алгебра логіки висловлювань досліджує операції над висловлюваннями, які мають лише одну ознаку — іс- тинісне значення.

Це дає змогу ототожнювати всі істинні висловлювання і всі хибні, абстрагуючись від їх змісту. Завдяки тотожностям, які відіграють тут роль законів, здійснюються різноманітні перетворення висловлювань.

При викладі алгебри логіки висловлювань буде зосереджена увага на підвалинах її побудови і на завданнях, які вона вирішує своїми засобами.

<< | >>

↑

Источник: Конверський А. Є.. Логіка (традиційна та сучасна): Підручник для студентів вищих навчальних закладів. - К.: Центр учбової літератури,2008. - 536 с.. 2008

Еще по теме Алгебра логіки висловлювань досліджує операції над висловлюваннями, які мають лише одну ознаку — іс- тинісне значення.:

- Логика - Общая философия - Социальная философия -