#noindex
TBD. [[논리식,logical_formula]] or [[논리식,formula]] page mk?
----
'''well-formed formula, well-formed formulae(복수형, [[WtEn:well-formed_formulae]]), (줄여서) wff'''
AKA
'''정합논리식, 판명문, 정형논리식,'''
'''정형식''', - "다음 식은 CTL의 정형식(well-formed formula)이다." - WpKo:계산_트리_논리 - WpEn:Computation_tree_logic (CTL)
'''적법한 논리식''', - https://pub.mearie.org/명제논리
'''체계화 공식''', - [[https://terms.naver.com/entry.naver?docId=859071&ref=y&cid=42346&categoryId=42346 IT용어사전]] 표제어
(그냥 간단히 줄여서, 앞의 well-formed를 생략해서) '''논리식, formula'''. ([[포뮬러,formula]] / [[논리식,logic_formula]] / [[논리식,logical_formula]])

[[WtEn:well-formed_formula]]
https://en.wiktionary.org/wiki/well-formed_formula

문장논리의 언어가 지닌 올바른 형식의 문장.
[[VG:형식언어,formal_language]]의 일종.

적형식의 속성
 (1) 모든 [[원자식,atom]]은 '''적형식'''
 (2) A와 B가 적형식이면 (￢A), (A∧B), (A∨B), (A→B), (A↔B)도 적형식
 (3) A가 적형식이면, $\forall x_iA,\;\exists x_iA$ 도 적형식
 (4) (1)~(3)의 방식으로 형성된 것이 아니라면 적형식이 아님

QQQ 그냥 정의겠지만... A←B는 안되고 (A→B), (A↔B)는 무엇일까.
----
//from aistudy
{
algebra에서 변수 상수 [[연산자,operator]] 등으로 대수식을 만들듯이,
logic에서 [[명제proposition]]와 [[연결사,connective]]로 '''논리식/wff'''를 만들 수 있다.
}


= well-formed =
https://everything2.com/title/well+formed <- 논리 말고 [[XML]] 얘기. markup_language에서는 저런 뜻?

// [[well-formedness]] [[wellformedness]] Ggl:wellformedness

= URT(unique readability theorem) for propositional logic =
[[unique_readability_theorem]]
[[VG:명제논리,propositional_logic]]에서의 unique readability theorem에 따르면 임의의 '''wff'''는
 * 그 구조가 유일하게 결정된다
 * 서로 다른 두 의미로 해석될 수 없다

via https://chocobear.tistory.com/177

Google:unique+readability+theorem

[[정리,theorem]]

// Ggl:"unique readability" Naver:"unique readability" Bing:"unique readability" ..... [[유일성,uniqueness]] + [[readability]]? =,readability . readability { NdEn:readability Ndict:readability - 가독성 나옴... [[가독성,readability]] 말고. / WtEn:readability Ggl:readability  "readability"}

----
Twins:
http://www.aistudy.com/logic/wff.htm
[[WpKo:논리식]]
[[WpEn:Well-formed_formula]] = https://en.wikipedia.org/wiki/Well-formed_formula
[[https://proofwiki.org/wiki/Definition:Well-Formed_Formula]]
https://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)

tmp twins
http://www.gabormelli.com/RKB/Well-Formed_Formula

----
Up:

[[논리식]]
 [[논리식,logic_expression]] [[논리식,logical_expression]]
 [[논리식,logic_formula]] [[논리식,logical_formula]]
 이거랑 여기랑 다 통합해도 무방?

[[논리학,logic]]
[[형식언어,formal_language]] - [[VG:형식언어,formal_language]]