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

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

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

Compare:
[[구,phrase]]('''절'''보다 더 작은 단위)

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

WtEn:dependent_clause ? o ([[Date(2023-10-09T18:32:33)]]) linked to syn. WtEn:subordinate_clause

[[WpSimple:Dependent_clauses]] ?
= https://simple.wikipedia.org/wiki/Dependent_clauses
[[WpEn:Dependent_clause]] ?
= https://en.wikipedia.org/wiki/Dependent_clause
... Google:Dependent+clause Naver:Dependent+clause
Ndict:"dependent 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

... Google:Independent+clause Naver:Independent+clause

Ndict:"independent clause"
}

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

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

[[WpKo:관계절]]
= https://ko.wikipedia.org/wiki/관계절
[[WpSimple:Relative_clause]]
= https://simple.wikipedia.org/wiki/Relative_clause
[[WpEn:Relative_clause]]
= https://en.wikipedia.org/wiki/Relative_clause

... 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."

Twins:
http://www.aistudy.com/logic/horn_clause.htm
https://foldoc.org/Horn+clause
[[WpEn:Horn_clause]]
= https://en.wikipedia.org/wiki/Horn_clause

https://www.pls-lab.org/en/Horn_clause

cmp [[Horn_sentence]] - [[문장,sentence]]

… Naver:Horn+clause
… Google:Horn+clause

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

[[predicate_clause]] - curr at... Srch:predicate_clause

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

[[WpKo:절_(언어학)]]
 = https://ko.wikipedia.org/wiki/절_%28언어학%29
WpSimple:Clause
WpEn:Clause
 = https://en.wikipedia.org/wiki/Clause