BackLinks of "명제,proposition". Copy: has NO comma Hide Show C | 가 | 나 | 다 | 라 | 마 | 바 | 사 | 아 | 자 | 차 | 카 | 타 | 파 | 하 C condition 가 가능성,possibility 나 논리연산자,logical_operator 논리일관성,logical_consistency 논리학,logic 다 동치,equivalence 라 로직,logic 마 명제proposition 명제논리,propositional_logic 명제식,propositional_formula 명제함수 모순,contradiction 문장,sentence 문제,problem 바 법칙,law 보조정리,lemma 볼록집합,convex_set 부정,negation 사 삼단논법,syllogism 소거,elimination 술어,predicate 식,expression 아 연결사,connective 원소,element 인스턴스,instance 일대일함수,one-to-one_function 자 전제,premise 전칭명제 정리,theorem 증명,proof 증명이론,proof_theory 진리값,truth_value 진리표,truth_table 진술,statement 차 추론규칙,inference_rule 카 칼큘러스,calculus 퀀티피케이션,quantification 타 토톨로지,tautology 파 판단,judgment 포뮬러,formula 하 함의,implication 함축,implication