• 진술,statement . . . . 46 matches
        $p,q,r,\ldots$ for simple statement,
        $P,Q,R,\ldots$ for compound statements[* Lin p4]
       [[simple_statement]]
       [[compound_statement]]
        A combinations of two or more simples statments is a '''compound statement'''[* Lin p4]
       [[universal_statement]]
        [[universal_conditional_statement]]
       [[conditional_statement]] =,conditional_statement . conditional_statement (writing)
       '''conditional statement'''
       WtEn:conditional_statement
       Ndict:"conditional statement"
       "conditional statement"
       [[inverse_statement]] =,inverse_statement . inverse_statement - w ...([[Date(2023-10-26T11:59:00)]] 에 여기로 cloned) 역진술 이라고 번역하면 안될듯. [[이진술,inverse_statement]]? 대체 뭐가 좋을지?
       '''inverse statement'''
       역진술이 아니고 이진술? inverse_statement
       https://planetmath.org/inversestatement
        [[진술,statement]]이 함의/내포=[[,implication]]([[함의,implication]] in RR) 형태로
        는 첫 진술의 inverse(or inverse_statement).
       [[WtEn:inverse_statement]]
       = https://en.wiktionary.org/wiki/inverse_statement x 2023-10-26
• universal_statement . . . . 27 matches
       universal statement
       // MOVETO [[스테이트먼트,statement]]
       statement 번역 후보
       진술 // 이유: [[진술,statement]]
       // kms statement => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=statement
       WtEn:statement
       universal_conditional_statement
        "Remember [[conditional_statement]]s? A '''universal conditional statement''' is simply a [[universal_statement]] with a [[조건,condition]]" ... via https://www.csm.ornl.gov/~sheldon/ds/sec1.6.html
       Up: [[진술,statement]]
        '''universal statement''' = "for all" statement ?
       ... Ndict:universal+statement Google:universal+statement
       ... Google:universal+statement+in+math
       ... Google:universal+statement+in+logic
       https://proofwiki.org/wiki/Definition:Universal_Statement
       universal statement
       '''universal_statement'''
       '''universal_statement''' ∀x : P(x) 에서, [[심벌,symbol]] x는 [[bound_variable]].
       그래서 x는 x가 다른 symbol로 바뀌어도 저 statement의 meaning은 바뀌지 않는다.
       다시 말해 저 statement는 ∀y : P(y) 그리고 ∀z : P(z) ... 와 완전히 같은 것이다.
       비교: [[existential_statement]]
• 스테이트먼트,statement . . . . 26 matches
       ##====스테이트먼트,statement =,statement 스테이트먼트 statement
       '''statement'''의 뜻은, (번역 매우 다양)
       [[논리학,logic]]에선 [[진술,statement]].
        [[universal_statement]]
        see Ndict:statement
        ([[컴파일러,compiler]]나 [인터프리터,interpreter]에 의해)[해석,interpretation]되어 [[실행,execution]]됨. 혹은 실행하라고 내리는 [명령,command], 혹은 그 명령을 적어 놓은 것이 statement.
       상거래(경제 금융 ... )쪽에선 명세서. 기타 성명 성명문 ''...for more see [[NdEn:statement]] NN:statement''
       PL에서는 [[식,expression]]과 '''statement'''가 자주 비교됨. 뭔지는 뻔한데 PL 구현마다 제각각이라 알아둘 필요.
       코드 단위인 Expression과 Statement의 차이를 알아보자 - Parkito's on the way
       https://shoark7.github.io/programming/knowledge/expression-vs-statement
       js에서, statement vs expression.
       문(Statement)과 표현식(Expression)
       https://velog.io/@_uchanlee/문Statement과-표현식Expression
       assignment statement
       assignment_statement
       Ggl:"assignment statement"
       statement separator or statement terminator
       statement_separator or statement_terminator
       Ggl:"statement separator or statement terminator"
        Ggl:"I/O statement" also?
• 문장,sentence . . . . 13 matches
       (논리학에서) 객관적이고 논리적인 뜻(meaning)을 가진 '''문장,sentence'''을 [[진술,statement]]이라고 한다.
       [[Date(2024-01-15T05:58:11)]] from STATEMENT or SENTENCE: What's the difference? https://www.youtube.com/watch?v=HFjJrQD_bcY
       * statement : something you write that gives an __opinion or information__ about a topic
       from https://thecontentauthority.com/blog/sentence-vs-statement
        statement : a specific type of sentence. 선언하는 문장이거나([[선언문장,declarative_sentence]]), 사실/의견/믿음을 표현하는 문장.
        ''여기에 따르면 declarative sentence = 선언문장 = 선언문 ...은 statement.''
       https://math.libretexts.org/Courses/SUNY_Schenectady_County_Community_College/Discrete_Structures/01%3A_Introduction_to_Writing_Proofs_in_Mathematics/1.01%3A_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]]라고 부른다.)
• 경우,case . . . . 10 matches
       = (PL statement) case statement = switch statement =
       (논외) ''PL statement pagename 뭐로하는게 최선? ... [[스테이트먼트,statement]] ? [[스테잇먼트,statement]] ? 문/구문/명령문/...''
       case_statement / switch_statement
       [[switch_statement]]
       위와 마찬가지 얘기. ''(merge?)'' 다만 '''경우'''의 수가 많지 않은데, if_statement 같은 경우 [[식,expression]]을 [[평가,evaluation]]한 결과가 [[참,true]]인지 [[거짓,false]]인지 두 가능성에 따라 분기(branch)하는..
• 대입,assignment . . . . 9 matches
       [[대입문,assignment_statement]] =대입문,assignment_statement =,assignment_statement 대입문 assignment_statement
       '''assignment statement'''
       }//assignment statement ... Ggl:"assignment statement" NN:"assignment statement" .... Srch:assignment_statement
• 양상,modality . . . . 8 matches
       [[intensional_statement]] =,intensional_statement . intensional_statement
       '''intensional statement'''
       }// intensional statement ... Bing:"intensional statement" Ggl:"intensional statement" Naver:"intensional statement"
• 프로그래밍언어,programming_language . . . . 8 matches
       = ''이하 statement 페이지 만들어지면 mv'' =
       ''Srch:statement pagename TBD''
       ''fork to [[break_statement]]... Up: [[진술,statement]] 말고 [[구문,statement]]? 구문/문/문장/명령/명령문/....중에?''
       ''fork to [[continue_statement]]''
       The optional n acts as the opposite of the n accompanying the break statement, specifying to the end of how many levels of enclosing loops the continue statement should skip.
• 가정,assumption . . . . 7 matches
       [[조건문,conditional_statement]] =조건문,conditional_statement =,conditional_statement 조건문 conditional_statement
        이건 Up: [[진술,statement]] ...보다는 Srch:statement 보면 [[구문,statement]]?
• BooksReading . . . . 6 matches
        * [[구문,statement]]s ...? (논리학의 그건 [[진술,statement]])인데 아마 PL의 statement는 저거로...? ... [[문,statement]]??
       Chapter 8. Statements
       === Chapter 8. Statements ===
• 논리학,logic . . . . 6 matches
       [[진술,statement]]
       수학 명제 mathematical statement
       mathematical_statement
       Ggl:"mathematical statement"
       AKA '''statement'''
       조건문,conditional_statement 함의,implication
• 브레이크,break . . . . 6 matches
       [[break_statement]]
        [[statement]]의 번역 빨리 결정해야함.....
        WtEn:break_statement ?
        "break statement"
        Ggl:"break statement"
        Naver:"break statement"
• 식,expression . . . . 5 matches
       = Compare: expression vs statement =
       쉬운 뻔한거지만.. 그래도 tbw - 특히 pl에 따라 ([[제어구조,control_structure]] [[제어흐름,control_flow]] 인) if-else suite가 단순히 statement인 경우도 있는데, expression인 경우도 있어서 이런것들은 정리할 필요가 있다
       [[statement]]의 번역 결정 후.
       expression vs statement
       https://mingyuchoo.hashnode.dev/expression-vs-statement
• 제어,control . . . . 5 matches
       [[구문,statement]] - [[진술,statement]]말고
       https://foldoc.org/switch+statement
       ... Google:switch+statement Naver:switch+statement
• 레이블,label . . . . 4 matches
        [[goto_statement]] { [[WpKo:Goto_문]] [[branching]]? [[제어흐름,control_flow]] [[명령문,statement]] }
        [[switch_statement]] { [[제어흐름,control_flow]] [[명령문,statement]] } 가 사용하는 switch_label - 여러 [[경우,case]]s들과 그 경우들 모두에 속하지 않는 default label. (rel. fallthrough)
• 조건부,conditional . . . . 4 matches
       [conditional_statement] =,conditional_statement . conditional_statement ?
       WtEn:conditional_statement
• condition . . . . 3 matches
       [[conditional_statement]] (writing)
        [[statement]]는 문/문장?
        WtEn:conditional_statement
• 변수,variable . . . . 3 matches
       == statement variable ==
       [[statement_variable]] - [[명제논리,propositional_logic]]의 variable(변수/변항/....). - ''curr at [[VG:명제논리,propositional_logic?action=highlight&value=statement_variable]]''
• PHP_language . . . . 2 matches
        statement
        statement
• 가설,hypothesis . . . . 2 matches
       [[statistical_significance]] test에서 시험되는 [[진술,statement]]은 '''귀무가설=영가설'''이다.
       대체적으로 null hypothesis는 '효과가 없다' 혹은 '차이가 없다'는 [[진술,statement]]이다.
• 값,value . . . . 2 matches
       이건 PL에서 [[대입,assignment]] / [[대입문,assignment_statement]]에서. PL에 따라 [[대입연산자,assignment_operator]] =,assignment_operator . assignment_operator
       assignment_statement
• 사이드,side . . . . 2 matches
       [[대입문,assignment_statement]] ([[대입,assignment]] [[statement]] )
• 스위치,switch . . . . 2 matches
       [[switch_statement]] https://en.wikipedia.org/wiki/Switch_statement
• 전칭기호universal_quantifier . . . . 2 matches
       [[universal_statement]] ("for all" statement)를 반박하는 [[예,example]]는 [[반례,counterexample]]. { https://oeis.org/wiki/Counterexamples }
• 정리,theorem . . . . 2 matches
        "'''Theorems''' are important mathematical statements^^[[진술,statement]]^^ having valid^^[[validity]]{ KmsE:validity Ndict:validity Ggl:validity }^^ proofs^^[[증명,proof]]^^."
• 제어흐름,control_flow . . . . 2 matches
        if_statement
        goto_statement
• concur . . . . 1 match
        yield (statement)
• 가능성,possibility . . . . 1 match
        the formula ㅁP can be used to represent the [[문장,statement]] that "P is known"
• 결과,result . . . . 1 match
       [[펑션,function]](ie PL의 [[함수,function]])의 결과값 (= result_value ?) = 리턴값 = return_value = ([[리턴,return]] [[값,value]], returned by return_statement) 는 대개 '''결과'''.
• 논증,argument . . . . 1 match
       [[진술,statement]]
• 데리베이션,derivation . . . . 1 match
        컴파일러론에서 유도(derivation)는, [[생성규칙,production_rule]]에 따라 문장([[문장,sentence]]? statement? )을 [[생성,production]]해 나가는 과정.
• 디버거,debugger . . . . 1 match
       [[assertion]] or [[assert]] - [[매크로,macro]] or [[statement]]?
• 딜레마,dilemma . . . . 1 match
        (a dilemma is a specific type of argument using two [conditional_statement]s)
• 로직,logic . . . . 1 match
        [[진술,statement]]에 [[믿음,belief]]이 포함된 경우를 다루는 [[modal_logic]]의 한 갈래?
• 루프,loop . . . . 1 match
        * continue statement
• 명제proposition . . . . 1 match
        (categorical proposition 또는 categorical statement)
• 명제함수 . . . . 1 match
        조건문(conditional stmt. - [[조건문]] = [[조건문,conditional_statement]]? Ndict:조건문 Ggl:조건문 조건문 )과 다름!
• 모노이드,monoid . . . . 1 match
       암튼 PL의 [[스테이트먼트,statement]]s' 대수적algebraic [[추상화,abstraction]]에 쓰임.
• 문제,problem . . . . 1 match
       cmp [[진술,statement]] [[문장,sentence]] [[정리,theorem]] [[명제,proposition]] ...
• 베릴로그,Verilog . . . . 1 match
       always // procedural statements must be inside 'always' block
• 브래킷,bracket . . . . 1 match
        C계열 문법에서, statement_block
• 시퀀트,sequent . . . . 1 match
        QQQ conditional_statement 에서 후건 ?
• 예외처리,exception_handling . . . . 1 match
       보통 try... catch... finally... statement
• 유니버설,universal . . . . 1 match
       [[universal_statement]]
• 전건,antecedent . . . . 1 match
       [[조건문,]](conditional, conditional statement ? conditional sentence ?)
• 진리표,truth_table . . . . 1 match
       ||[[명제,proposition]](or [[진술,statement]]) ||$p$ ||$\sim p$ ||
• 터미네이션,termination . . . . 1 match
        PL에서, break_statement : [[루프,loop]]등에서 (항상 루프에서?) '탈출'하는 데 쓰임. PL의 keyword로 많이 쓰임. 이 때는 '''termination'''과 마찬가지.
• 테이블,table . . . . 1 match
       [[switch_statement]]
• 판단,judgment . . . . 1 match
       [[진술,statement]]
• 해석,interpretation . . . . 1 match
       [[진술,statement]]
• 형식언어,formal_language . . . . 1 match
       ‘When a [[진술,statement]] is true(top), we call it a theorem.’

You can also click here to search title.