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

相关题目

• 令p:今天我上班，q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
• 设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
• 下列关于小项和大项的性质表述正确的是
• 下图中是欧拉图的为
• 设有非空集合A上的全域关系S,则关系S不是