• condition
        is: [[명제,proposition]] - curr [[명제proposition]]
• universal_statement
        명제 or 문장 ... ? 왠지 [[proposition]] [[명제proposition]] WtEn:proposition 과 겹치지 않는 단어로 번역하고 싶은데
• 논리학,logic
       [[명제,proposition]] - curr [[명제proposition]]
• 논증,argument
       '''논증'''은 [[명제proposition]]=[[명제,proposition]] 의 [[집합,set]]?
• 명제식,propositional_formula
       [[명제proposition]] //later [[명제,proposition]]
       [[명제,proposition]] (curr [[명제proposition]])
• 명제함수
       Up: [[명제proposition]]
• 문장,sentence
       [[명제,proposition]] [[명제proposition]]와?
• 부정,negation
        [[명제,proposition]] = [[명제proposition]] 를 부정해 만든 새로운 명제? chk
• 시퀀트,sequent
        4. (logic) The conditional_part of a hypothetical_proposition([[가설,hypothesis]]적/가언적 명제? [[명제proposition]]), i.e. p → q, where p is the antecedent, and q is the [[consequent]]. //// 전건 ?
• 연역정리,deduction_theorem
        "논리학에서, 함의 도입(含意導入, 영어: implication introduction)은 [[가언명제]]w( Ggl:가언명제 ... Up: [[명제proposition]])를 유도하는 [[추론규칙,inference_rule]]이다."
• 적형식,wff
       logic에서 [[명제proposition]]와 [[연결사,connective]]로 '''논리식/wff'''를 만들 수 있다.
• 전칭명제
        이 [[명제proposition]]는,
• 정리,theorem
       '''정리'''는 (참임이) [[증명,proof]]된 [[명제proposition]]([[VG:명제,proposition]])임.
• 존재명제
       Up: [[명제proposition]] > [[한정명제]]
• 진리값,truth_value
       [[명제,proposition]]([[명제proposition]])에 대해 정해지는?
• 칼큘러스,calculus
       [[명제,proposition]] (cur. [[명제proposition]])
• 토톨로지,tautology
       rel [[참,true]] [[진리,truth]] [[명제proposition]] [[명제,proposition]]
• 판단,judgment
       [[명제proposition]]=[[명제,proposition]]에 대한
• 한정명제
       Up: [[명제proposition]]

You can also click here to search title.