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