• 논리연결사,logical_connective . . . . 14 matches
       Moved to [[연결사,connective]].
       https://planetmath.org/logicalconnective
       http://www.aistudy.com/logic/connective.htm
       WtEn:logical_connective
       [[WpEn:Logical_connective]]
       = https://en.wikipedia.org/wiki/Logical_connective
        '''logical_connective''' AKA '''logical_operator, sentential_connective, sentential_operator'''
       [[MathWorld:Connective]]
       = https://mathworld.wolfram.com/Connective.html
        "The terms "logical_connective" and "propositional_connective" (Mendelson 1997, p. 13) are also used."
       https://psychology.fandom.com/wiki/Logical_connective
       https://en.wikibooks.org/wiki/Mathematical_Proof_and_the_Principles_of_Mathematics/Logic/Logical_connectives
• 명제식,propositional_formula . . . . 12 matches
        [[명제연결사,propositional_connective]] =명제연결사,propositional_connective =,propositional_connective 명제연결사 propositional_connective
        '''propositional connective'''
        https://encyclopediaofmath.org/wiki/Propositional_connective
        MKL [[논리연결사,logical_connective]]
        Up: [[연결사,connective]]
        WtEn:propositional_connective x 2024-03
        } // propositional connective ... Ggl:"propositional connective" NN:"propositional connective"
• 로직,logic . . . . 7 matches
       == Cmp: logic operation / logic operator / logic connective ==
       logic connective
       logical_connective
       WtEn:logical_connective
       logic connective
       logic_connective
       Ggl:"logic connective"
• 연결사,connective . . . . 7 matches
       [[명제연결사,propositional_connective]]
       AKA '''논리연결사 logical connective, 논리연산자'''(logical operator). ''그럼 [[VG:연산자,operator]]의 일종?''
       '''''see also [[논리연결사,logical_connective]]. MERGE?'''''
       Sub: 주 연결사(main connective)
       ○가 A의 주 연결사(main connective)이다
       http://www.aistudy.co.kr/logic/connective.htm
       https://encyclopediaofmath.org/wiki/Propositional_connective
• 함의,implication . . . . 6 matches
        "The connective([[연결사,connective]] [[논리연결사,logical_connective]]) in [[propositional_calculus]] propositional_calculus (curr. [[VG:명제논리,propositional_logic]]) that, when joining two [[술어,predicate|predicate]]s A and B in that order, has the meaning "if A is true, then B is true"."
        ''어디선 proposition이라 하고 여기선 (그걸 이루어주는) connective라 하네? .. 구분이 무의미한가?''
       Up: [[연결사,connective]] [[논리연결사,logical_connective]]
• 논리학,logic . . . . 5 matches
        [[연결사,connective]]
        [[논리연결사,logical_connective]]
       논리 연결사(logical connectives): ∧∨→￢↔⊥, ...
        [[논리연결사,logical_connective]] or [[연결사,connective]]
• 가능성,possibility . . . . 4 matches
       modal_connective = modal_operator
       modal connective modal operator
       modal connective (or modal operator)
       logical_connective for modal logic
• 논리연산자,logical_operator . . . . 4 matches
       [[논리연결사,logical_connective]]와 완전히 같은 뜻인듯?
       논리([[논리학,logic]])쪽에선 그럼 [[연산자,operator]]와 [[연결사,connective]]가 완전 동일?
        [[논리연결사,logical_connective]]
       ||OR ||논리합,logical_disjunction ... [[WpEn:Disjunction_(logical_connective)]] ||합집합,set_union or 합집합,union ... [[WpKo:합집합]] [[WpEn:Union_(set_theory)]] ||
• 명제논리,propositional_logic . . . . 4 matches
       [[논리연결사,logical_connective]] ~= [[연결사,connective]] ~= [[논리연산,logical_operation]] ~= [[논리연산자,logical_operator]]
       3. '''명제논리'''에서 [[연결사,connective]]란 한 개 이상의 명제 기호에 덧붙여짐으로써 해당 명제(들)에 새로운 의미를 더한다.
       단순명제와 하나 이상의 [[논리연결사,logical_connective]]로 구성되는 명제를 [[복합명제]]{ Ndict:복합명제 Bing:복합명제 }라 한다.
• 논리상수,logical_constant . . . . 3 matches
        [[논리연결사,logical_connective]]
       '''논리상수''의 두 중요한 타입은 [[논리연결사,logical_connective]]와 [[한정기호_정량자_quantifier]]가 있다.
       QQQ 쌍조건문 logical_biconnective
• 접속사,conjunction . . . . 3 matches
       구와 구, 혹은 절과 절을 연결. 그 가운데에 들어감. ([[연산자,operator]] 처럼) // ''rel [[연결사,connective]]?''
       [[연결사,connective]]? Srch:connective
• 진리표,truth_table . . . . 3 matches
       각 [[논리연결사,logical_connective]]에 대한 진리표.
       [[연결사,connective]]
       [[논리연결사,logical_connective]]
• 해석,interpretation . . . . 3 matches
        connective ([[연결사,connective]] [[논리연결사,logical_connective]])
• 논리기호,logic_symbol . . . . 2 matches
       [[연결사,connective]] esp. [[논리연결사,logical_connective]]
• 논리연산,logical_operation . . . . 2 matches
       이것들 모두 [[논리연결사,logical_connective]], [[불_연산,Boolean_operation]] 와 equivalent? WpKo 첫 문장: "논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은"
• 부정,negation . . . . 2 matches
       [[연결사,connective]] > [[논리연결사,logical_connective]]
• 술어,predicate . . . . 2 matches
        [[연결사,connective]] i.e. [[논리연결사,logical_connective]]
• 연결,connection . . . . 2 matches
       [[논리연결사,logical_connective]]
       [[연결사,connective]]
• if_and_only_if . . . . 1 match
        Hypernym: [[논리연결사,logical_connective]]
• 명제proposition . . . . 1 match
        [[명제연결사,propositional_connective]]
• 식,expression . . . . 1 match
       [[연결사,connective]]
• 앰퍼샌드,ampersand . . . . 1 match
       AND connective?
• 연산자,operator . . . . 1 match
        Up: [[논리연결사,logical_connective]]
• 적형식,wff . . . . 1 match
       logic에서 [[명제proposition]]와 [[연결사,connective]]로 '''논리식/wff'''를 만들 수 있다.
• 진술,statement . . . . 1 match
       이 다섯가지 가장 흔한 [[연결사,connective]]들은

You can also click here to search title.