На главную страницу

Современный толковый словарь

 

ЛОГАРИФМИЧЕСКАЯ ФУНКЦИЯ
ЛОГАРИФМИЧЕСКИЕ ТАБЛИЦЫ
ЛОГАУ
ЛОГАЧЕВ Н
ЛОГАЭДЫ
ЛОГВИНОВИЧ Г
ЛОГЕЙОН
ЛОГИКА

ЛОГИКА ВЫСКАЗЫВАНИЙ

ЛОГИКА КЛАССОВ
ЛОГИКА НАУКИ
ЛОГИКА ПРЕДИКАТОВ
ЛОГИНОВ Е
ЛОГИНОВ М
ЛОГИЦИЗМ
ЛОГИЧЕСКАЯ МАШИНА
ЛОГИЧЕСКАЯ ОПЕРАЦИЯ

 

 

 

 

ЛОГИКА ВЫСКАЗЫВАНИЙ

 

ЛОГИКА ВЫСКАЗЫВАНИЙ , раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.

 

 

 

 

 

Дата последнего изменения 02.02.2008

 

 




назад содержание далее
Хостинг от uCoz