BackLinks search for "명제proposition"
- condition
- universal_statement
- 논리학,logic
- 명제식,propositional_formula
- 명제함수
- 문장,sentence
- 부정,negation
- 시퀀트,sequent
- 연역정리,deduction_theorem
- 적형식,wff
- 전칭명제
- 정리,theorem
- 존재명제
- 진리값,truth_value
- 칼큘러스,calculus
- 토톨로지,tautology
- 판단,judgment
- 한정명제
Show Context.