• 논리기호,logic_symbol
       [[연결사,connective]] esp. [[논리연결사,logical_connective]]
• 논리연결사,logical_connective
       Moved to [[연결사,connective]].
• 논리연산자,logical_operator
       논리([[논리학,logic]])쪽에선 그럼 [[연산자,operator]]와 [[연결사,connective]]가 완전 동일?
• 논리학,logic
        [[연결사,connective]]
        [[논리연결사,logical_connective]] or [[연결사,connective]]
• 명제논리,propositional_logic
       [[논리연결사,logical_connective]] ~= [[연결사,connective]] ~= [[논리연산,logical_operation]] ~= [[논리연산자,logical_operator]]
       3. '''명제논리'''에서 [[연결사,connective]]란 한 개 이상의 명제 기호에 덧붙여짐으로써 해당 명제(들)에 새로운 의미를 더한다.
• 명제식,propositional_formula
        Up: [[연결사,connective]]
• 부정,negation
       [[연결사,connective]] > [[논리연결사,logical_connective]]
• 술어,predicate
        [[연결사,connective]] i.e. [[논리연결사,logical_connective]]
• 식,expression
       [[연결사,connective]]
• 연결,connection
       [[연결사,connective]]
• 적형식,wff
       logic에서 [[명제proposition]]와 [[연결사,connective]]로 '''논리식/wff'''를 만들 수 있다.
• 접속사,conjunction
       구와 구, 혹은 절과 절을 연결. 그 가운데에 들어감. ([[연산자,operator]] 처럼) // ''rel [[연결사,connective]]?''
       [[연결사,connective]]? Srch:connective
• 진리표,truth_table
       [[연결사,connective]]
• 진술,statement
       이 다섯가지 가장 흔한 [[연결사,connective]]들은
• 함의,implication
        "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"."
       Up: [[연결사,connective]] [[논리연결사,logical_connective]]
• 해석,interpretation
        connective ([[연결사,connective]] [[논리연결사,logical_connective]])

You can also click here to search title.