적형식,wff


well-formed formula, (복수) ~ formulae, (줄여서) wff
AKA 정합논리식, 판명문, 정형논리식, 적법한 논리식[1], (그냥 간단히) 논리식, 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에서는 저런 뜻?

URT(unique readability theorem) for propositional logic