- VideosWatching
- if_and_only_if
- 가능성,possibility
- 결론,conclusion
- 고정점,fixed_point
- 논리기호,logic_symbol
- 논리상수,logical_constant
- 논증,argument
- 동치,equivalence
- 로직,logic
- 모드,mode
- 모순,contradiction
- 불_식,Boolean_expression
- 삼단논법,syllogism
- 신택스,syntax
- 아규먼트,argument
- 알파벳,alphabet
- 일관성,consistency
- 조합론,combinatorics
- 증명이론,proof_theory
- 집합,set
- 철학,philosophy
- 칼큘러스,calculus
- 퀀티피케이션,quantification
- 형식언어,formal_language
Show Context.