Difference between r1.18 and the current
@@ -83,6 +83,9 @@
중요한 이유:
* 두 Horn절의 [[resolvent]] { The clause produced by a resolution_rule is sometimes called a '''resolvent'''. ''from [[WpEn:Resolution_(logic)]]'' } 는 Horn절.
History
1951년. 논리학자 Alfred Horn { https://en.wikipedia.org/wiki/Alfred_Horn } 의 이름에서 유래.
* 두 Horn절의 [[resolvent]] { The clause produced by a resolution_rule is sometimes called a '''resolvent'''. ''from [[WpEn:Resolution_(logic)]]'' } 는 Horn절.
mkl;
[[definite_clause]]
1951년. 논리학자 Alfred Horn { https://en.wikipedia.org/wiki/Alfred_Horn } 의 이름에서 유래.
@@ -107,10 +110,13 @@
Up: [[논리식,logical_formula]]의 일종임. (we)
}
'''definite clause'''
https://foldoc.org/definite+clause
"A Horn clause that has exactly one positive literal."
}
[[definite_clause]] =,definite_clause. definite_clause
[[definite_clause]] =,definite_clause =,definite_clause . definite_clause
{'''definite clause'''
WtEn: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."
@@ -124,8 +130,10 @@
QQQ
WpEn:Blake_canonical_form 에서 See also 에 있음, chk
----
[[WpKo:절_(언어학)]]
= https://ko.wikipedia.org/wiki/절_%28언어학%29
WpEn:Blake_canonical_form 에서 See also 에 있음, chk
[[predicate_clause]] - curr at... Srch:predicate_clause
WtEn:clause
[[WtEn:clause]] = https://en.wiktionary.org/wiki/clause#English
[[WpKo:절_(언어학)]]
= https://ko.wikipedia.org/wiki/절_%28언어학%29
언어학에서, 절(clause)의 collection은 문장,sentence.
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
}
= 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."
" 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
= 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
"A Horn clause that has exactly one positive literal."
(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."