Difference between r1.23 and the current
@@ -5,6 +5,8 @@
논리학에서, '''절'''(clause)은 a disjunction of literals.
[[리터럴,literal]]s의 [[disjunction]].
Compare:
[[구,phrase]]('''절'''보다 더 작은 단위)
[[리터럴,literal]]s의 [[disjunction]].
논리학에서 '''clause'''는 logical_formula in CNF,conjunctive_normal_form. (Foldoc)
[[구,phrase]]('''절'''보다 더 작은 단위)
@@ -133,6 +135,8 @@
[[predicate_clause]] - curr at... Srch:predicate_clause
----
[[WtEn:clause]] = https://en.wiktionary.org/wiki/clause#English
[[WpKo:절_(언어학)]]
----
[[Foldoc:clause]] = https://foldoc.org/clause
[[WpKo:절_(언어학)]]
언어학에서, 절(clause)의 collection은 문장,sentence.
논리학에서 clause는 logical_formula in CNF,conjunctive_normal_form. (Foldoc)
Sub:
dependent_clause =,dependent_clause . dependent_clause (w)
{
종속절 ?
subordinate clause, dependent clause, subclause, embedded clause (wpen)
dependent_clause =,dependent_clause . dependent_clause (w)
{
종속절 ?
subordinate clause, dependent clause, subclause, embedded clause (wpen)
Dependent_clauses ?= https://simple.wikipedia.org/wiki/Dependent_clauses
Dependent_clause ?= https://en.wikipedia.org/wiki/Dependent_clause
...
Dependent clause 
Dependent clause
dependent clause}
(위아래비교/서로link tbw)
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.
main_clause = https://en.wiktionary.org/wiki/main_clause#English
=주절,main_clause =,main_clause . main_clause ?
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."
matrix_clause = https://en.wiktionary.org/wiki/matrix_clause#English
"A clause that has another (subordinate) clause embedded within it."
(? chk why - 구체적 설명rationale.)
Twins:main_clause = https://en.wiktionary.org/wiki/main_clause#English=주절,main_clause =,main_clause . main_clause ?
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."
matrix_clause = https://en.wiktionary.org/wiki/matrix_clause#English"A clause that has another (subordinate) clause embedded within it."
(? chk why - 구체적 설명rationale.)
Independent_clauses= https://simple.wikipedia.org/wiki/Independent_clauses
Independent_clause= https://en.wikipedia.org/wiki/Independent_clause
relative_clause =,relative_clause =,relative_clause . relative_clause
{
관계절 ? 관계사절 ? 관계대명사절 ??
관계절 (wpko)
{
관계절 ? 관계사절 ? 관계대명사절 ??
관계절 (wpko)
관계대명사,relative_pronoun로만 시작해야 한다. (wpsimple)
관계절= https://ko.wikipedia.org/wiki/관계절
Relative_clause= https://simple.wikipedia.org/wiki/Relative_clause
Relative_clause= https://en.wikipedia.org/wiki/Relative_clause
A Horn clause is a clause with at most one positive(unnegated) literal. (wpen)
중요한 이유:
definite_clause
- 두 Horn절의 resolvent { The clause produced by a resolution_rule is sometimes called a resolvent. from Resolution_(logic) } 는 Horn절.
definite_clause
tmp twins:
Horn_clause
= https://en.wiktionary.org/wiki/Horn_clause
" A clause (disjunction of literals) with at most one positive literal."
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
Horn_clause
= https://en.wikipedia.org/wiki/Horn_clause
http://www.aistudy.com/logic/horn_clause.htm
https://foldoc.org/Horn clause
Horn_clause= https://en.wikipedia.org/wiki/Horn_clause
definite_clause = https://en.wiktionary.org/wiki/definite_clause(2023-11-09) "A Horn clause with exactly one positive literal"
즉 혼_절,Horn_clause인데 오직 하나의 positive(양? 긍정? 참값(??)positive )인 리터럴,literal을 가진.
https://foldoc.org/definite clause즉 혼_절,Horn_clause인데 오직 하나의 positive(양? 긍정? 참값(??)
positive )인 리터럴,literal을 가진."A Horn clause that has exactly one positive literal."
