Difference between r1.29 and the current

@@ -4,7 +4,7 @@

'''well-formed formula, well-formed formulae(복수형, [[WtEn:well-formed_formulae]]), (줄여서) wff'''
AKA
'''정합논리식, 판명문, 정형논리식,'''

'''정형식''', - "다음 식은 CTL의 정형식(well-formed formula)이다." - WpKo:계산_트리_논리 - WpEn:~~Computational~~_tree_logic (CTL)

'''정형식''', - "다음 식은 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]])

TBD. 논리식,logical_formula or 논리식,formula page mk?

well-formed formula, well-formed formulae(복수형, well-formed_formulae), (줄여서) wff
AKA
정합논리식, 판명문, 정형논리식,
정형식, - "다음 식은 CTL의 정형식(well-formed formula)이다." -

계산_트리_논리 -

Computation_tree_logic (CTL)
적법한 논리식, - https://pub.mearie.org/명제논리
체계화 공식, - [https]

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

well-formed_formula
https://en.wiktionary.org/wiki/well-formed_formula

문장논리의 언어가 지닌 올바른 형식의 문장.

형식언어,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를 만들 수 있다.
}

[edit]