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