well-formed formula, well-formed formulae(복수형, well-formed_formulae), (줄여서) wff
AKA
정합논리식, 판명문, 정형논리식,
정형식, - "다음 식은 CTL의 정형식(well-formed formula)이다." -
계산_트리_논리 -
Computation_tree_logic (CTL)
적법한 논리식, -
https://pub.mearie.org/명제논리
체계화 공식, -
IT용어사전(https://terms.naver.com/entry.naver?docId=859071&ref=y&cid=42346&categoryId=42346) 표제어
(그냥 간단히 줄여서, 앞의 well-formed를 생략해서)
논리식, formula. (
포뮬러,formula /
논리식,logic_formula /
논리식,logical_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)는 무엇일까.
URT(unique readability theorem) for propositional logic ¶