- 논리학,logic . . . . 3 matches
- 전건,antecedent . . . . 2 matches
- 가정,assumption . . . . 1 match
- 귀결,consequence . . . . 1 match
- 부정,negation . . . . 1 match
- 시퀀트,sequent . . . . 1 match
- 후건,consequent . . . . 1 match
- 후건부정,modus_tollens . . . . 1 match
Show Context.