BackLinks of "명제논리,propositional_logic". Copy: has NO comma Hide Show 나 | 라 | 마 | 바 | 아 | 자 | 차 나 논리학,logic 라 로직,logic 마 명제식,propositional_formula 문장,sentence 바 변수,variable 아 앨지브라,algebra 오더,order 원소,element 자 정리,theorem 진리나무,truth_tree 진술,statement 차 추론규칙,inference_rule 충족가능성,satisfiability