原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
命题逻辑符号化习题课[精选]
习题选讲—命题符号化 解： （1）有的狗会飞。 设D(x)：x是狗，F(x)：x会飞。 命题符号化为：?x(D(x)∧F(x)) （2）发光的不都是金子。 命题的意思是： ① 不是发光的东西都是金子。 ② 存在着发光的东西不是金子。 设 L(x)：x是发光的东西，G(x)：x是金子。 命题符号化为 ① ┐??x(L(x)→G(x)) ② ? ?x(L(x)∧﹁G(x)) （3）一切人都不一样高。 设 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))) 或 ?x?y(F(x)?F(y)??H(x,y)??L(x,y)) （4）有唯一的偶素数。 设：Q(x):x是偶数，P(x):x是素数， E(x,y):x＝y 命题符号化为： ?x(Q(x)?P(x)???y(Q(y)?P(y)??E(x,y))) （5）不管黑猫白猫，抓住老鼠就是好猫。 需要考虑问题： ①只是限制黑猫白猫，还是包含其它颜色的猫？ ②是指至少抓住一只就可以，还是抓住所有的？ 因此在描述命题时，总是将这些模糊概念做某种确切理解。 设 C(x)：x是猫， W(x)：x是白的， B(x)：x是黑的 G(x)：x是好的，M(x)：x是老鼠， K(x)：x抓住y 命题符号化为 ?x?y(C(x)∧M(y)∧(B(x)∨W(x))∧K(x,y))→G(x)) （6）对平面上任意两点，有且仅有一条直线通过这两点。 设 P(x)：x是一个点，L(x)：x是一条直线 R(x,y,z)：z通过x,y，E(x,y)：x等于y 命题符号化为 ?x?y(P(x)∧P(y)∧﹁E(x,y) →?z(L(z)∧R(x,y,z)∧?u((L(u)∧R(x,y,u))→E(u,z))) 习题选讲—公式判断 3、判断下列公式是否为永真公式。 （1） (?x A(x)? ?x B(x)) ? ?x (A(x)? B(x)) （2） (?x A(x)? ?x B(x)) ? ?x (A(x)? B(x)) （3） (?x A(x)? ?x B(x)) ? ?x (A(x)? B(x)) （4） (?x A(x)? ?x B(x)) ? ?x (A(x)? B(x)) 解： （1） 永真公式。 （2） 不是永真公式。 （3） 永真公式 。 （4） 永真公式。 * 1. 在一阶逻辑中将下列命题符号化。 （1） 有的狗会飞。 （2） 发光的不都是金子。 （3） 一切人都不一样高。 （4） 有唯一的偶素数。 （5） 不管黑猫白猫，抓住老鼠就是好猫。 （6）对平面上任意两点，有且仅有一条直线通过这两点。 * * *
文档评论（0）