Современный толковый словарь |
ЛОГАРИФМИЧЕСКАЯ ФУНКЦИЯЛОГАРИФМИЧЕСКИЕ ТАБЛИЦЫЛОГАУЛОГАЧЕВ НЛОГАЭДЫЛОГВИНОВИЧ ГЛОГЕЙОНЛОГИКАЛОГИКА ВЫСКАЗЫВАНИЙЛОГИКА КЛАССОВЛОГИКА НАУКИЛОГИКА ПРЕДИКАТОВЛОГИНОВ ЕЛОГИНОВ МЛОГИЦИЗМЛОГИЧЕСКАЯ МАШИНАЛОГИЧЕСКАЯ ОПЕРАЦИЯ |
|
|
ЛОГИКА ВЫСКАЗЫВАНИЙ
ЛОГИКА ВЫСКАЗЫВАНИЙ , раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
Дата последнего изменения 02.02.2008 |
|
|