首頁
隨機
附近
登入
設定
資助維基百科
關於維基百科
免責聲明
搜尋
分類
:
邏輯表達式
語言
監視
維基共享資源
中相關的多媒體資源:
邏輯表達式
本
分類頁面
的主條目是「
合式公式
」。
子分類
此分類包含以下 3 個子分類,共 3 個。
命
命題
(5個分類, 5個頁面)
定
定理
(6個分類, 3個頁面)
推
推理规则
(16個頁面)
「邏輯表達式」分類中的頁面
此分類共有 13 個頁面,以下顯示其中 13 個。
合式公式
T
T-模式
全
全称量化
原
原子公式
命
命题
定
定理
開
开放句子
恆
恆真式
推
推理规则
柯
柯尼希-费舍尔展开
波
波兰表示法
相
相继式
表
表達式