教学文库网 - 权威文档分享云平台
您的当前位置:首页 > 精品文档 > 学前教育 >

普通逻辑学课后习题答案学生用(11)

来源:网络收集 时间:2026-05-17
导读: 第七章 谓词自然推理 一、试将下列命题译为符号式。(每题应采用所提示的符号) 1.(?x)(Px→Lx)。 2.(?x)(Fx?Tx)。 3.(?x)(Bx→Gx)。 4.(?x)(Sx??Hx) 5.(?x)(Sx?Wx?Hx) 6.(1)( ?x)〔(Ax?Px)→(Wx?Ax)〕 或 (2)(

第七章 谓词自然推理

一、试将下列命题译为符号式。(每题应采用所提示的符号) 1.(?x)(Px→Lx)。 2.(?x)(Fx?Tx)。 3.(?x)(Bx→Gx)。 4.(?x)(Sx??Hx) 5.(?x)(Sx?Wx?Hx)

6.(1)( ?x)〔(Ax?Px)→(Wx?Ax)〕

或 (2)( ?x)〔Ax→(Wx?Ax)〕?(?x)〔(Px→(Wx?Ax) ) 二、试对下列推理进行有效性的形式推演。 1. ①(?x)(Lx→Wx)

②Lc /∴Wc

③Lc→Wc ①全称例示U.I. ④Wc ②、③肯定前件式 2. ①(?x)(Lx→?Tx)

普通逻辑学课后习题答案学生用(11).doc 将本文的Word文档下载到电脑,方便复制、编辑、收藏和打印
本文链接:https://www.jiaowen.net/wendang/594244.html(转载请注明文章来源)
Copyright © 2020-2025 教文网 版权所有
声明 :本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
客服QQ:78024566 邮箱:78024566@qq.com
苏ICP备19068818号-2
Top
× 游客快捷下载通道(下载后可以自由复制和排版)
VIP包月下载
特价:29 元/月 原价:99元
低至 0.3 元/份 每月下载150
全站内容免费自由复制
VIP包月下载
特价:29 元/月 原价:99元
低至 0.3 元/份 每月下载150
全站内容免费自由复制
注:下载文档有可能出现无法下载或内容有问题,请联系客服协助您处理。
× 常见问题(客服时间:周一到周五 9:30-18:00)