절,clause의 모임(collection). (foldoc) // 컬렉션,collection

CHK
문장중에서,

명확히 참,true/거짓,false을 밝힐 수 있는 게 명제,proposition이고 (문장의 일부가 명제)

명제 중 증명된 것이 정리,theorem인지? (명제의 일부가 정리)?

MKL
formula와?

closed_formula = sentence [1]

명제,proposition 명제proposition와?

"논리학에서 proposition sentence 차이"

논리학에서 proposition sentence 차이

논리학에서 proposition sentence 차이
"proposition vs sentence in logic"

proposition vs sentence in logic

문장,sentence은 명제식,propositional_formula?action=highlight&value=문장,sentence과 동의어일 수 있음, see 저기의 we.
술어,predicate와 sentence ?

[edit]

Sub ¶

선언문장,declarative_sentence

원자문장,atomic_sentence w

atomic_sentence

문장논리,sentential_logic

≃ 명제논리,propositional_logic ≃ 영차논리,zeroth-order_logic ...(

불_논리,Boolean_logic?action=highlight&value=문장논리,sentential_logic)

// 밑에 포뮬러,formulas

문장형식,sentence_form =문장형식,sentence_form =,sentence_form . 문장형식 sentence_form
{
sentence form
문장형식

sentence_form
} // sentence form

sentence form

Horn_sentence

Horn 문장
Rel. Horn_clause

Horn 절 - 절,clause ... curr at 절,clause?action=highlight&value=Horn_clause

sentential_formula =,sentential_formula . sentential_formula
{
sentential formula

sentential_formula x 2023-09-12

Sentential_formula

SententialFormula
= https://mathworld.wolfram.com/SententialFormula.html

"sentential formula"

sentential formula
2023-11-23 'sentential formula'는 명제식,propositional_formula의 한 표현일 수 있음(동의어일 수 있음), see 저기의 wpen.

Sub:
open_sentential_formula
closed_sentential_formula
}

open_sentential_formula =,open_sentential_formula . open_sentential_formula - w
{
open sentential formula
"A sentential formula that contains at least one free variable (Carnap 1958, p. 24). A sentential variable containing no free variables (i.e., all variables are bound) is called a closed sentential formula."
https://mathworld.wolfram.com/OpenSententialFormula.html

open sentential formula

Up: sentential_formula openness/열린,open/열림성,openness?
}

closed_sentential_formula =,closed_sentential_formula . closed_sentential_formula - w
{
closed sentential formula
"is a sentential formula in which none of the variables are free (i.e., all variables are bound)"
https://mathworld.wolfram.com/ClosedSententialFormula.html

closed sentential formula

Up: closed_sentential_formula closedness/닫힌,closed
}

sentential_variable =,sentential_variable . sentential_variable - w
sentential variable
sentential variable, also called a propositional variable // propositional_variable 명제,proposition .... 명제변수 = 문장변수
https://mathworld.wolfram.com/SententialVariable.html

sentential_variable

Sentential_variable

sentential variable

ADDHERE
ADDHERE
ADDHERE
ADDHERE
ADDHERE

[edit]

Inter ¶

[edit]

영단어 'sentence' ¶

꼭 문장으로 번역되지 않아도 되는. ....다른 번역들:

Sentence
= https://mathworld.wolfram.com/Sentence.html

Sentence
= https://simple.wikipedia.org/wiki/Sentence
// wpsimple 대충번역, chk
simple_sentence

하나의 절,clause과 하나의 independent_variable로 이뤄짐.

compound_sentence

둘 이상의 절,clause을 가짐. 절들은 conjunction, punctuation, 또는 둘 다로 결합되어 있음.

complex_sentence

relative_clause을 포함.

complex-compound_sentence

여러 절을 가지며 그 중 하나 이상이 relative_clause를 가짐.

relative_clause - 관계절, 관계사절, 관계대명사절 중 pagename TBD.
relative_clause =,relative_clause . relative_clause
{
https://ko.wikipedia.org/wiki/관계절
https://en.wikipedia.org/wiki/Relative_clause
}

논리학에서, sentence가, 명제식,propositional_formula(is a 논리식,logical_formula) 와 동의어인지 아님 저걸 sentence라고 부르기도 하는지 MKSURE
{
2023-05-24
(논리학에서) 객관적이고 논리적인 뜻(meaning)을 가진 문장,sentence을 진술,statement이라고 한다.

2024-01-15
(논리학 말고 일상생활 및 영어,English에서의 의미)
2024-01-15 from STATEMENT or SENTENCE: What's the difference? https://www.youtube.com/watch?v=HFjJrQD_bcY
* sentence : a grammatical unit that gives a complete idea
* statement : something you write that gives an opinion or information about a topic
(... 여기선 후자가 '진술'보다는 '의견 표명' 정도에 가까움)

from https://thecontentauthority.com/blog/sentence-vs-statement

sentence(=문장) : 완결된 생각^{complete thought}을 표현하는 group of words. 일반적으로 한 주어,subject와 한 술어,predicate(동사,verb를 포함)를 가지고 있음.
statement : a specific type of sentence. 선언하는 문장이거나(선언문장,declarative_sentence), 사실/의견/믿음을 표현하는 문장.
여기에 따르면 declarative sentence = 선언문장 = 선언문 ...은 statement.

(SUNY 이산구조 강의 > how to write proofs 자료)
https://math.libretexts.org/Courses/SUNY_Schenectady_County_Community_College/Discrete_Structures/01:_Introduction_to_Writing_Proofs_in_Mathematics/1.01:_Statements_and_Conditional_Statements
여기서도 바로 위와 같은 말, "In mathematics, a statement is a declarative sentence that is either true or false but not both."
즉 진술,statement은 declarative sentence(선언문장,declarative_sentence, 선언,declaration하는 문장,sentence이다.)
(추가로 수학에서 진술^statement은, 참 또는 거짓 중의 하나여야 하며, 둘 다는 안된다는 조건까지.)
"A statement is sometimes called a proposition."
(진술,statement을 가끔 명제,proposition라고 부른다.)

}