Все словари     Target-Multimedia  
 
 
 
 01
 02
 03
 04
 05

ЛОГИКА ВЫСКАЗЫВАНИЙ - Во всех словарях

Энциклопедический словарь

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

 
 

    Словарь русского языка
Copyright © Target-Multimedia, 2008-2012. Все права защищены.
   
Страница сгенерирована за: 0.00324 секунд. Кэширование включено. Сервер 2.