Основные виды доказательств в логике высказываний