Примеры и типы логических доказательств