【单选题】
设A(x):x是人,B(x):x犯错误,命题“没有不犯错误的人”符号化为( )
①
<imgwidth="98"height="20"src="../uploadfiles/word/lsss002.files/image014.png">
②
┐<imgwidth="68"height="20"src="../uploadfiles/word/lsss002.files/image015.png">┐B(x))
③
┐<imgwidth="96"height="20"src="../uploadfiles/word/lsss002.files/image016.png">
④
┐<imgwidth="63"height="20"src="../uploadfiles/word/lsss002.files/image017.png">┐B(x))
【单选题】
设M(x):x是人;F(x):x要吃饭。用谓词公式表达下述命题:所有的人都要吃饭,其中错误的表达式是( )
①
<imgwidth="118"height="20"src="../uploadfiles/word/lsss001.files/image015.png">
②
<imgwidth="128"height="20"src="../uploadfiles/word/lsss001.files/image016.png">
③
<imgwidth="111"height="20"src="../uploadfiles/word/lsss001.files/image017.png">
④
<imgwidth="122"height="20"src="../uploadfiles/word/lsss001.files/image018.png">
【多选题】
令 F(x): x 是角, H(x, y): x 和 y 是相等的, L(x, y): x 与 y 是对顶角,则命题“相等的两个角未必都是对顶角”符号化不正确的有:
①
$x(F(x) ù ($y(F(y) ù H(x, y) ù ?L(x, y))).
②
xy(F(x) ù F(y) ù H(x, y) ? ? L(x, y))
③
$x(F(x) ù ($y(F(y) ù H(x, y) ? ?L(x, y))).
④
xy(F(x) ù F(y) ù H(x, y) ù ? L(x, y)).
【多选题】
令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快,则命题“有的火车比所有的汽车跑得快”符号化不正确的有:
①
$x$y(F(x) ù G( y) ù H(x, y))
②
x$y(F(x) ù G( y) ? H(x, y))
③
$xy(F(x) ù (G( y) ? H(x, y)))
④
$xy(F(x) ù G( y) ù H(x, y)).
【单选题】
设F(x): x 小于负数, G(x): x 是正数,则命题“没有小于负数的正数”可符号化为:
①
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x)).
②
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(G(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x)).
③
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x)).
④
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(G(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x)).
【多选题】
令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快,则命题“说所有的火车比所有的汽车跑得快是不对的”符号化不正确的有:
①
x$y(F(x) ù G( y) ? H(x, y))
②
$x$y(F(x) ù G( y) ù H(x, y))
③
xy(F(x) ù (G( y) ? H(x, y)))
④
$xy(F(x) ù G( y) ù H(x, y)).