Примеры и разбор доказательств в логике высказываний