有些病人相信所有的医生。病人都不相信骗子。设n元谓词P(x):x是病人，C(x):x是骗子，D(x):x是医生，B(x,y):x相信y。列出所有前提和结论的谓词公式，证明所有的医生都不是骗子。