- condition . . . . 2 matches
- universal_statement . . . . 1 match
- 가정,assumption . . . . 1 match
- 명제함수 . . . . 1 match
- 실행,execution . . . . 1 match
- 쌍대성,duality . . . . 1 match
- 예외,exception . . . . 1 match
- 오토마톤,automaton . . . . 1 match
- 함의,implication . . . . 1 match
Show Context.