절,clause

Difference between r1.23 and the current

@@ -5,6 +5,8 @@
논리학에서, '''절'''(clause)은 a disjunction of literals.
[[리터럴,literal]]s의 [[disjunction]].

논리학에서 '''clause'''는 logical_formula in CNF,conjunctive_normal_form. (Foldoc)
Compare:
[[구,phrase]]('''절'''보다 더 작은 단위)

@@ -133,6 +135,8 @@
[[predicate_clause]] - curr at... Srch:predicate_clause

----
[[Foldoc:clause]] = https://foldoc.org/clause
[[WtEn:clause]] = https://en.wiktionary.org/wiki/clause#English

[[WpKo:절_(언어학)]]


주어,subject와 서술어(술어,predicate)로 구성.

언어학에서, (clause)의 collection은 문장,sentence.

논리학에서, (clause)은 a disjunction of literals.
리터럴,literals의 disjunction.

논리학에서 clause는 logical_formula in CNF,conjunctive_normal_form. (Foldoc)

Compare:
구,phrase(보다 더 작은 단위)

Sub:
dependent_clause =,dependent_clause . dependent_clause (w)
{
종속절 ?
subordinate clause, dependent clause, subclause, embedded clause (wpen)

WtEn:dependent_clause ? o (2023-10-10) linked to syn. WtEn:subordinate_clause


(위아래비교/서로link tbw)

independent_clause =,independent_clause . independent_clause (w)
{
independent clause
독립절 ?

WtEn:independent_clause ? o (2023-10)
" A clause that can stand alone syntactically as a complete sentence; contains at least a subject and a verb."

syn.

WtEn:main_clause = https://en.wiktionary.org/wiki/main_clause#English
=주절,main_clause =,main_clause . main_clause ?

WtEn:coordinate_clause = https://en.wiktionary.org/wiki/coordinate_clause#English
"A clause that can stand alone syntactically as a complete sentence and contains at least a subject and a verb."

WtEn:matrix_clause = https://en.wiktionary.org/wiki/matrix_clause#English
"A clause that has another (subordinate) clause embedded within it."
(? chk why - 구체적 설명rationale.)


Twins:
WpSimple:Independent_clauses
= https://simple.wikipedia.org/wiki/Independent_clauses
WpEn:Independent_clause
= https://en.wikipedia.org/wiki/Independent_clause



relative_clause =,relative_clause =,relative_clause . relative_clause
{
관계절 ? 관계사절 ? 관계대명사절 ??
관계절 (wpko)

관계대명사,relative_pronoun로만 시작해야 한다. (wpsimple)


... Naver:relative clause
}
Horn_clause =,Horn_clause =,Horn_clause . Horn_clause
{
호른_절 or 혼_절 ?

A Horn clause is a clause with at most one positive(unnegated) literal. (wpen)

중요한 이유:
  • 두 Horn절의 resolvent { The clause produced by a resolution_rule is sometimes called a resolvent. from WpEn:Resolution_(logic) } 는 Horn절.

mkl;
definite_clause

History
1951년. 논리학자 Alfred Horn { https://en.wikipedia.org/wiki/Alfred_Horn } 의 이름에서 유래.

tmp twins:
WtEn:Horn_clause
= https://en.wiktionary.org/wiki/Horn_clause
" A clause (disjunction of literals) with at most one positive literal."





Up: 논리식,logical_formula의 일종임. (we)
}

definite_clause =,definite_clause =,definite_clause . definite_clause
{
definite clause

WtEn:definite_clause = https://en.wiktionary.org/wiki/definite_clause
(2023-11-09) "A Horn clause with exactly one positive literal"
혼_절,Horn_clause인데 오직 하나의 positive(양? 긍정? 참값(??) WtEn:positive )인 리터럴,literal을 가진.

https://foldoc.org/definite clause
"A Horn clause that has exactly one positive literal."

...
Ndict:definite clause
Ggl:definite clause 절
"definite clause"
}

QQQ
WpEn:Blake_canonical_form에서 See also 에 있음, chk