【系统分析师200411】【53】设P（x）：x是金子，Q（x）：x闪光，则命题“没有不闪光的金子”形式化为（53）。

真题详情及解析

【系统分析师200505】【57】设P：我将去春游，Q：明天天气好。命题“我将去春游，仅当明天天气好时”符号化为（57）。

真题详情及解析

【系统分析师200511】【56】设A（x）：x是金子，B（x）：x是闪光的，则命题“没有不闪光的金子，但闪光的不一定是金子”形式化为（56）。

真题详情及解析

【系统分析师200511】【55】下列语句中，（55）是真命题。

真题详情及解析

【系统分析师200605】【52】设R（x）：x是实数。Q（x）：x是有理数。则（52）正确地翻译了命题“并非每个实数都是有理数”。

真题详情及解析

【系统分析师200705】【53】用数学归纳法证明命题P（n）对任何自然数正确，一般包括两个步骤：第一，建立基础，例如证明P（1）正确；第二，建立推理关系，例如证明n≥1时，如果命题P（n）正确则可以推断命题P（n+1）也正确。这种推理关系可以简写为：n≥1时P（n）→P（n+1）。将上述数学归纳法推广到二维情况。为证明命题P（m，n）对任何自然数m与n正确，先证明P（1,1）正确，再证明推理关系（53）正确。

真题详情及解析