Основы логического доказательства: практические примеры