- 추론,inference . . . . 2 matches
- WikiSandBox . . . . 1 match
- 논리학,logic . . . . 1 match
- 논증,argument . . . . 1 match
- 시퀀트,sequent . . . . 1 match
- 연역정리,deduction_theorem . . . . 1 match
- 자연연역,natural_deduction . . . . 1 match
- 증명,proof . . . . 1 match
Show Context.