論理學
에서
論理式
(論理式,
英語
:
formula
) 또는
整形 論理式
(整型論理式,
英語
:
well-formed formula
, 弱者 WFF)은 어떤 論理 體系의 言語 속 記號들로 構成된 有限
文字列
가운데, 合法的인 ‘命題’로 여길 수 있는 것들이다.
命題 論理
나
述語 論理
에서, 論理式은 原子 命題와 論理 演算을 통해 再歸的으로 構成되며,
공리
와
推論 規則
으로부터 다른 論理式들을 誘導하는 證明에 參與한다. 理論의
模型
속에서 各 論理式은 그 模型에서의 具體的인 命題로 解釋되어 참과 거짓 與否를 附與받는다.
正義
[
編輯
]
어떤 論理 體系 속에서, 論理式은 原子 論理式으로부터 論理 演算을 柔한 番 加하여 얻을 수 文字列로 定義되며, 이는 普通 再歸的으로 定義된다.
같이 보기
[
編輯
]
各州
[
編輯
]