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