well-formed formula, well-formed formulae(복수형, well-formed_formulae), (줄여서) wff
AKA
정합논리식, 판명문, 정형논리식,
정형식, - "다음 식은 CTL의 정형식(well-formed formula)이다." - 계산_트리_논리 - Computation_tree_logic (CTL)
적법한 논리식, - https://pub.mearie.org/명제논리
체계화 공식, - IT용어사전 표제어
(그냥 간단히 줄여서, 앞의 well-formed를 생략해서) 논리식, formula. (포뮬러,formula / 논리식,logic_formula / 논리식,logical_formula)
AKA
정합논리식, 판명문, 정형논리식,
정형식, - "다음 식은 CTL의 정형식(well-formed formula)이다." - 계산_트리_논리 - Computation_tree_logic (CTL)
적법한 논리식, - https://pub.mearie.org/명제논리
체계화 공식, - IT용어사전 표제어
(그냥 간단히 줄여서, 앞의 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)는 무엇일까.(2) A와 B가 적형식이면 (¬A), (A∧B), (A∨B), (A→B), (A↔B)도 적형식
(3) A가 적형식이면, $\displaystyle \forall x_iA,\;\exists x_iA$ 도 적형식
(4) (1)~(3)의 방식으로 형성된 것이 아니라면 적형식이 아님
//from aistudy
{
algebra에서 변수 상수 연산자,operator 등으로 대수식을 만들듯이,
logic에서 명제proposition와 연결사,connective로 논리식/wff를 만들 수 있다.
}
{
algebra에서 변수 상수 연산자,operator 등으로 대수식을 만들듯이,
logic에서 명제proposition와 연결사,connective로 논리식/wff를 만들 수 있다.
}
URT(unique readability theorem) for propositional logic ¶
unique_readability_theorem
명제논리,propositional_logic에서의 unique readability theorem에 따르면 임의의 wff는
명제논리,propositional_logic에서의 unique readability theorem에 따르면 임의의 wff는
- 그 구조가 유일하게 결정된다
- 서로 다른 두 의미로 해석될 수 없다
// unique readability unique readability unique readability ..... 유일성,uniqueness + readability? =,readability . readability { readability readability - 가독성 나옴... 가독성,readability 말고. / readability readability "readability"}
Twins:
http://www.aistudy.com/logic/wff.htm
논리식
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
http://www.aistudy.com/logic/wff.htm
논리식
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)
https://planetmath.org/word (Synonym: well-formed formula, Defines: well formed formula)
Up: