적형식,wff


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]IT용어사전 표제어
(그냥 간단히 줄여서, 앞의 well-formed를 생략해서) 논리식, formula. (포뮬러,formula / 논리식,logic_formula / 논리식,logical_formula)


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

적형식의 속성
(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)는 무엇일까.

//from aistudy
{
algebra에서 변수 상수 연산자,operator 등으로 대수식을 만들듯이,
logic에서 명제proposition연결사,connective논리식/wff를 만들 수 있다.
}


well-formed

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