【单选题】
用等值演算法判断公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /> (p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />q<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />q)”的类型:
【判断题】
令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车,令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x),则 xG(x) 是其有效结论。
【判断题】
用真值表判断公式“p? (púqúr)”的类型为重言式。
【判断题】
用等值演算法判断公式“(p? (púq)) ú (p?r)”的类型为重言式。
【判断题】
设前提: p ? ?q, r ? q. 结论: r ? ?p. 则推理的形式结构为: (p ? ?q) ù (r ? q) ? (r ? ?p).
【判断题】
自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xF(g(x,a),x)”的真值为真。
【多选题】
设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数,令前提: x((F(x) úG(x)) ?R(x)), x(H(x) ??R(x)),则下面是其有效结论的有:
②
x(H(x) ? (?F(x) ù?G(x)))
③
$x(H(x) ? (?F(x) ù?G(x)))
④
x(H(x) ? ?(F(x) ú G(x)))
【多选题】
设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数,令前提: x(G(x) ??F(x)), x(H(x) ?F(x)),则下面是其有效结论的有:
【多选题】
用等值演算法推导公式“p?q”和下面哪个公式等价:
【多选题】
在全总个体域下,用一阶逻辑将命题“有的火车比有的汽车快”符号化不正确的有:
①
$x$y(F(x) ùG(y) ?H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
②
$x$y(F(x) ùG(y) ùH(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
③
$x$y(F(x) ùG(y) úH(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
④
$x$y(F(x) ?G(y) ùH(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.