• 명제proposition
        [[전칭명제]]
• 전칭기호universal_quantifier
       이름이 관련: [[전칭명제]]
• 존재명제
       '''존재명제'''와 [[쌍대,dual]]: [[전칭명제]]
• 진리집합
        * [[전칭명제]] $(\forall x\in X)p(x)$ 가 참
• 한정명제
       Sub: [[전칭명제]]와 [[존재명제]]를 '''한정명제'''라고 함.

You can also click here to search title.