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