学堂在线西南科技大学数理逻辑(2021秋)单元测验题答案
- 公式Q→(P∨(P∧Q))可化简为( )。 A┐P, BQ→P, CP, DP→Q, 2022-01-12
- 已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值分别为001,010,111, 2022-01-12
- 若有3个命题变元的公式G的主析取方式为:m1∨m3∨m5∨m7,则其主合取范式为M2 2022-01-12
- 求主析取范式时,若析取范式的某一短语H中缺少某一命题变元P,则用公式:(┐P∨P)∧H 2022-01-12
- 命题公式的每一个成假赋值都对应一个极小项。 () 2022-01-12
- 命题公式的析取范式和合取范式都存在,并且是唯一的。 () 2022-01-12
- P Ù Q Ù R 是简单合取式,既是合取范式也是析取范式。 2022-01-12
- ØQ既是简单析取式也是简单合取式,既是合取范式也是析取范式。 2022-01-12
- 等价关系 ┐(P∧Q) Û┐P∧┐Q是正确的。 2022-01-12
- 等价关系(PQ)V(P八R)P(QVR)是正确的。 2022-01-12
- 等价关系(P∧Q)∨(P∧R)Û P∧(Q∨R)是正确的。 2022-01-12
- G Û H 描述二者的关系,它的结果不是命题公式。 2022-01-12
- 等值符号“«”描述了两个公式G与H之间的一种逻辑等价关系。 2022-01-12
- 若公式G与H等价,则G和H的真值表完全相同。 () 2022-01-12
- (Q®P)ÙQ®R的一组成假赋值为001。 2022-01-12
- (PÚQ)®ØPÚ(R®ØS)不是命题公式。 2022-01-12
- 等价联结词“«”是自然语言中的“充分必要条件”、“当且仅当”等的逻辑抽 2022-01-12
- P«Q为真当且仅当P,Q同为真假。 2022-01-12
- 基本联结词 “Ù,Ú,«,®” 的运算是可交换的。 2022-01-12
- 五个基本联结词的运算优先级顺序是:Ø,Ù,Ú,®,« 。 2022-01-12
- 若A:张三和李四都是网红主播,则ØA:张三和李四都不是网红主播。 2022-01-12
- 命题“如果雪是白的,那么1+2=5”是真命题。 () 2022-01-12
- 语句“下列语句不是命题”是命题。() 2022-01-12
- 语句“若这个公式为永真蕴含式,则它的真值不能为假。”是命题。 2022-01-12
- 语句“你知道我在等你吗?”是命题。() 2022-01-12