跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
外观
资助维基百科
创建账号
登录
个人工具
资助维基百科
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
Category
:
逻辑表达式
15种语言
العربية
Беларуская (тарашкевіца)
বাংলা
Bosanski
English
فارسی
हिन्दी
日本語
한국어
Română
Scots
Svenska
Tagalog
Українська
اردو
编辑链接
分类
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
打印/导出
下载为PDF
打印页面
在其他项目中
维基共享资源
维基数据项目
外观
移至侧栏
隐藏
帮助
维基百科,自由的百科全书
维基共享资源
中相关的多媒体资源:
逻辑表达式
本
分类页面
的主条目是「
合式公式
」。
子分类
本分类有以下3个子分类,共有3个子分类。
命
命題
(5个分类, 5个页面)
定
定理
(6个分类, 3个页面)
推
推理规则
(16个页面)
分类“逻辑表达式”中的页面
以下13个页面属于本分类,共13个页面。
合式公式
T
T-模式
全
全称量化
原
原子公式
命
命题
定
定理
开
开放句子
恆
恆真式
推
推理规则
柯
柯尼希-费舍尔展开
波
波兰表示法
相
相继式
表
表達式
分类
:
邏輯符號
形式理论