раздел логики, в котором вопрос об истинности илиложности высказываний рассматривается и решается на основе изученияспособа построения высказываний из т. н. элементарных (далее неразлагаемых и не анализируемых) высказываний с помощью логических операцийконъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации("если..., то...") и др. Логику высказываний, задаваемую системойпостулатов (аксиом и правил вывода), называют исчислением высказываний.





Ссылка на выделенный текст