将命题符号化并证明。没有不是医生的人是可以给人治病的，有些可以给人治病的人是学过医的，因此，有些学过医的人是医生。