学堂在线西南科技大学数理逻辑(2021秋)期末考试题答案
- 设个体域D是正整数集合,公式“"x$y(y=2x)”的真值为假。 2022-01-12
- 谓词逻辑的公式都能用真值表列出。 2022-01-12
- 析取范式、合取范式仅含联结词 ┐、∧、∨,且┐仅出现在命题变元前。 2022-01-12
- P 既是简单析取式也是简单合取式,既是合取范式也是析取范式。 2022-01-12
- 等价关系(P∨Q) ∧(P∨R)Û P∨(Q∧R)是正确的。 2022-01-12
- 若公式G与H等价,等值式 G«H 是重言式。 2022-01-12
- (P®Q)®ØPÚ(RÙØS)是命题公式。 2022-01-12
- 设p:天晴,q:小王去踢足球。“除非张华去踢足球,否则天不冷.”可符号化为:q®p 2022-01-12
- 设p:天晴,q:小王去踢足球。“只有天晴,张华才去踢足球.”可符号化为:p®q。 2022-01-12
- 设p:天晴,q:小王去踢足球。“若张华不去踢足球,则天不冷.”可符号化为:Øq®Ø 2022-01-12
- 设p:天晴,q:小王去踢足球。“除非天晴,张华才去踢足球.”可符号化为: p ® q 2022-01-12
- 设p:天晴,q:小王去踢足球。“只要天晴,张华就去踢足球.”可符号化为: p®q。 2022-01-12
- 联结词“→”是自然语言中的“如果…,则…”,“若…,才能…”、“除非…,否则… 2022-01-12
- P→Q为假当且仅当P为假。 2022-01-12
- P∨Q为真当且仅当P,Q中至少一个为真。 2022-01-12
- 基本联结词 “Ù,Ú,«” 的运算是可交换的。 2022-01-12
- 若A:张三和李四都是网红主播,则ØA:张三和李四不都是网红主播。 2022-01-12
- 语句“x-y>8”是个命题。 2022-01-12
- 语句“这个公式为永真蕴含式。”是命题。 2022-01-12
- 语句“给我一杯忘情水!”是命题。 2022-01-12
- 设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 $x(P(x)ÚQ(x))在哪个个体域中为真 2022-01-12
- 设个体域为整数集,则“"x$y(x-y=0)”公式的意义是( )。 A 对任一整 2022-01-12
- 设个体域为整数集,则“"x$y(x-y=0)”公式的意义是( )。 A 对任一整 2022-01-12
- 下列表达公式之间的关系错误的是( ) A P⇒P∧Q B P∧Q⇒P C P∧Q⇒P∨Q 2022-01-12
- 设P:天晴,Q:我去打球,则命题“当且仅当天晴时,我才不去打球”可符号化为( 2022-01-12