跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
最近更改
随机页面
MediaWiki帮助
GSXAB的知识库
搜索
搜索
外观
登录
个人工具
登录
Advertising:
查看“︁原子命题、复合命题”︁的源代码
页面
讨论
简体中文
阅读
查看源代码
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
查看源代码
查看历史
刷新
常规
链入页面
相关更改
特殊页面
页面信息
外观
移至侧栏
隐藏
←
原子命题、复合命题
因为以下原因,您没有权限编辑该页面:
您请求的操作仅限属于该用户组的用户执行:
用户
您可以查看和复制此页面的源代码。
[[分类:命题逻辑]]{{DEFAULTSORT:yuan2zi3ming4ti2fu4he2ming4ti2}} {{#seo: |keywords=原子命题, 复合命题, 基础命题, 命题逻辑 |description=本文介绍原子命题和复合命题的定义,包括原子命题作为不含逻辑联结词的基本命题的概念,在命题逻辑中的基础地位。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2023-06-24 }} {{InfoBox |name=原子命题 |eng_name=atomic proposition |aliases=atomic sentence,atomic }} {{InfoBox |name=复合命题 |eng_name=compound proposition |aliases=compound sentence,compound }} '''原子命题'''('''atomic proposition''')指不能分解为更简单[[命题]]的命题,即不含[[逻辑联结词]]的命题。 相反,能被分解为更简单命题的命题称为'''复合命题'''('''compound proposition''')。 原子命题是构成复合命题的基本单位,分解为更简单命题这一操作进行足够的重复后,复合命题总是会被分解为原子命题。 原子命题通常用命题符号表示。 原子命题的要求是不能分解为命题。这不意味着原子命题的内部不可以有内部构造,只是这些构造不可以能够分解出更简单的命题。 原子命题是命题逻辑研究中不可再分的"原子"单位,所有复合命题都可以通过逻辑联结词从原子命题构造而成。 {{命题逻辑}}
该页面使用的模板:
模板:InfoBox
(
查看源代码
)
模板:命题逻辑
(
查看源代码
)
返回
原子命题、复合命题
。
Advertising: