首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
分类
:
逻辑表达式
语言
监视
维基共享资源
中相关的多媒体资源:
逻辑表达式
本
分类页面
的主条目是“
合式公式
”。
子分类
本分类有以下3个子分类,共有3个子分类。
命
命題
(5个分类, 5个页面)
定
定理
(6个分类, 3个页面)
推
推理规则
(16个页面)
分类“逻辑表达式”中的页面
以下13个页面属于本分类,共13个页面。
合式公式
T
T-模式
全
全称量化
原
原子公式
命
命题
定
定理
开
开放句子
恒
恆真式
推
推理规则
柯
柯尼希-费舍尔展开
波
波兰表示法
相
相继式
表
表達式