Про формульний опис змінних складних висловлювань

В.О. Лещінський, І.О. Лещінська
Анотації на мовах:

У роботі розглядається узагальнення поняття складного висловлювання шляхом введення змінних висловлювань. Розглянуті тотожно істинні, тотожно неістинні і умовно істинні висловлювання. Розглянуті найбільш відомі закони логіки висловлювань. Показано, що усі вони є тотожно істинними висловлюваннями.
Ключові слова: логічна формалізація, складні висловлювання, змінні висловлювання, операції з висловлюваннями, функція істинності, логіка висловлювань