• complement
       [[부정,negation]]
• 논리게이트logic_gate
       [[논리부정,logical_negation]], curr. [[부정,negation]]
• 논리기호,logic_symbol
       ||[[부정,negation]] ||￢p ||Np ||https://en.wikipedia.org/wiki/Negation ||
• 논리연산,logical_operation
        이것의 [[부정,negation]]은 [[logical_biconditional]] { WpEn:Logical_biconditional }
• 논리연산자,logical_operator
       || ||NOT ||￢ ||논리부정 ||logical_negation [[부정,negation]] || ||
       ||NOT ||[[부정,negation]] ||여집합 complement or set_complement or set_complementation ... [[WpKo:여집합]] [[WpEn:Complement_(set_theory)]] ||
• 논리일관성,logical_consistency
       '''무모순적(=일관적)''' 이론에서는 스스로와 그 [[부정,negation]]을 모두 [[증명,proof]]할 수 있는 [[문장,sentence]]이 없다.
• 리터럴,literal
       '''리터럴'''이란, [[원자식,atomic_formula]]([[원자식,atom]]) 혹은 그것의 [[부정,negation]].
• 명제proposition
• 모순,contradiction
        항진명제의 부정은 모순명제이다." ''(서로 [[부정,negation]])''
• 반대,opposite
        * [[부정,negation]] ? [[two-valued_logic]]의 경우 부정=반대인가? (내생각) chk
• 연결사,connective
       ||￢ ||부정 // [[부정,negation]] ||부정문 Ndict:부정문 ||~이 아니다 ||not ~ ||
• 연산자,operator
        MKLINK [[부정,negation]]
• 인버스,inverse
        * [[부정,negation]]
        which implements logical_negation. // [[부정,negation]] > [[논리부정,logical_negation]]? WtEn:logical_negation
• 자연수,natural_number
       ￢ [[부정,negation]]
• 진리표,truth_table
       ex (간단한 진리표: 명제와 그 [[부정,negation]] 두가지([[둘,two]] [[경우,case]])에 대한)
• 진술,statement
        가 있으면 [[전제,premise]] p와 [[결론,conclusion]] q가 있고, 전제와 결론을 [[부정,negation]]한 진술
       ~p, not p, negation of p ([[부정,negation]])
• 집합연산,set_operation
       ||(superscript c 또는 upper bar) ||￢ logical_negation - [[부정,negation]] ||
• 충족가능성,satisfiability
        충족가능성,satisfiability의 [[부정,negation]]은 unsatisfiability,

You can also click here to search title.