未分类题
设P：1+1=5；Q：明天是阴天，则命题“只要1+1=5，那么明天是阴天”可符号化为______其真值是______．
【参考答案】
P→Q$T(真)．
热门
试题
未分类题
设F(x)：x是火车；G(y)：y是汽车；H(x，y)：x比y快．命题“某些汽车比所有的火车慢”的符号化公式是______．A.( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 238); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∃y)(G(y)→( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-size: 16px; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∀x)(F(x)∧H(x，y))) B.( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-size: 16px; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∀y)(G(y)∧( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 238); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∃x)(F(x)→H(x，y)))C.( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-size: 16px; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∀x)( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 238); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∃y)(G(y)→(F(x)∧H(x，y))) D.( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 238); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∃y)(G(y)→( style='color: rgb(51, 51, 51); text-transform: none; text-indent: 0px; letter-spacing: normal; font-family: zuoyeFont_mathFont, Microsoft Yahei , 宋体, sans-serif; font-size: 16px; font-style: normal; font-weight: normal; word-spacing: 0px; float: none; display: inline !important; white-space: normal; orphans: 2; widows: 2; background-color: rgb(255, 255, 255); font-variant-ligatures: normal; font-variant-caps: normal; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;'>∀x)(F(x)→H(x，y)))
A.B.
C.(
D.(
E.(
F.(