적형식,wff (rev. 1.23)
well-formed formula, (복수) ~ formulae, (줄여서) wff
AKA 정합논리식, 판명문, 정형논리식, 적법한 논리식[1], (그냥 간단히) 논리식, formula
AKA 정합논리식, 판명문, 정형논리식, 적법한 논리식[1], (그냥 간단히) 논리식, formula
적형식의 속성
(1) 모든 원자식,atom은 적형식
(2) A와 B가 적형식이면 (￢A), (A∧B), (A∨B), (A→B), (A↔B)도 적형식
(3) A가 적형식이면, $\displaystyle \forall x_iA,\;\exists x_iA$ 도 적형식
(4) (1)~(3)의 방식으로 형성된 것이 아니라면 적형식이 아님
QQQ 그냥 정의겠지만... A←B는 안되고 (A→B), (A↔B)는 무엇일까.(2) A와 B가 적형식이면 (￢A), (A∧B), (A∨B), (A→B), (A↔B)도 적형식
(3) A가 적형식이면, $\displaystyle \forall x_iA,\;\exists x_iA$ 도 적형식
(4) (1)~(3)의 방식으로 형성된 것이 아니라면 적형식이 아님
//from aistudy
{
algebra에서 변수 상수 연산자,operator 등으로 대수식을 만들듯이,
logic에서 명제proposition와 연결사,connective로 논리식/wff를 만들 수 있다.
}
{
algebra에서 변수 상수 연산자,operator 등으로 대수식을 만들듯이,
logic에서 명제proposition와 연결사,connective로 논리식/wff를 만들 수 있다.
}
URT(unique readability theorem) for propositional logic ¶
unique_readability_theorem
명제논리,propositional_logic에서의 unique readability theorem에 따르면 임의의 wff는
명제논리,propositional_logic에서의 unique readability theorem에 따르면 임의의 wff는- 그 구조가 유일하게 결정된다
- 서로 다른 두 의미로 해석될 수 없다
Twins:
http://www.aistudy.com/logic/wff.htm
논리식
Well-formed_formula
![[https]](/wiki/imgs/https.png)
https://proofwiki.org/wiki/Definition:Well-Formed_Formula
https://everything2.com/title/Well-formed formula
https://en.wiktionary.org/wiki/well-formed_formula
http://www.aistudy.com/logic/wff.htm
논리식Well-formed_formulahttps://proofwiki.org/wiki/Definition:Well-Formed_Formulahttps://everything2.com/title/Well-formed formula
https://en.wiktionary.org/wiki/well-formed_formula
Semi-twins:
https://planetmath.org/word (Synonym: well-formed formula, Defines: well formed formula)
https://planetmath.org/word (Synonym: well-formed formula, Defines: well formed formula)