一阶逻辑中的四条推理规则
发表时间：2024-07-28 13:18:24
来源：网友投稿
全称特殊化（US）
如果一个句式P是以一个全称量词（x）开头，而且该量词管辖整个句式，那么可以删去P开端的全称量词，然后用同一个个体常元去取代此时为自由出现的每一个个体变元x，藉此推出一个新命题。
限制条件1，由头管到尾：只有当句式的最前端是一个全称量词，而且这个全称量词的控制范围达到整个句式的最末端时，才可以使用US规则。
限制条件2，拘限变元保持原状：依据US规则删去某一个个体变元的全称量词之后，未必使得这个个体变元的每一个出现都成为自由出现。因为这时这个个体变元的某些出现可能受到存在量词的控制，所以仍是拘限出现，而非自由出现
限制条件3，用相同的常元去取代：使用US规则删去某个个体变元的全称量词之后，必须用相同的个体常元去取代该个体变元的每个自由出现，切勿用不同的个体常元去取代。
免责声明：本站发布的教育资讯（图片、视频和文字）以本站原创、转载和分享为主，文章观点不代表本网站立场。
如果本文侵犯了您的权益，请联系底部站长邮箱进行举报反馈，一经查实，我们将在第一时间处理，感谢您对本站的关注！
相关资讯
汽修专业新疆怎么找工作
2025-04-06
机械专业专长怎么写简历
2025-04-06
专科怎么报审计专业的
2025-04-06
专业学科导师类别怎么填
2025-04-06
查报考专业网站怎么查
2025-04-06
水电专业规划怎么写简历
2025-04-06
表演专业怎么留学的好呢
2025-04-06
专业防雷检测怎么收费的
2025-04-06
怎么查询同等学力专业
2025-04-06
高考技能专业怎么选择的
2025-04-06
钢筋套筒专业名称怎么写
2025-04-06
中专怎么填高考志愿专业
2025-04-06
中专统招怎么报志愿专业
2025-04-06
师范专业自我评价怎么写
2025-04-06
景观建筑换专业怎么换好
2025-04-06
建筑专业学生简历怎么写
2025-04-06
推荐资讯
中药药理的研究内容
2024-07-11 12:27:53
春天的描述五十字左右
2024-07-31 10:08:28
函数x y坐标求法
2024-07-31 12:10:34
卜肆意思是什么
2024-08-17 11:51:57
成都武警指挥学院有哪些专业
2024-10-02 16:23:19
小型教培机构经营模式
2024-10-04 11:30:50
幼儿园食品卫生管理员职责
2024-10-27 09:10:54
简薇是什么专业
2025-03-21 09:20:00
空调清洗哪个专业最好
2025-03-22 13:26:13
公安警务专业有哪些
2025-04-01 06:18:43
新励学网教育平台
海量全面 · 详细解读 · 快捷可靠
累积科普文章数：18,862,126篇
热门关注
首页
教育
考研
作文
公考
申论
留学
建造
会计
问答
冀ICP备2024091466号