• OnlineLectures
       항진인 쌍조건문 p↔q를 [[동치,equivalence]]''(esp. [[논리동치,logical_equivalence]])''라 하고 p⇔q로 나타내며 p와 q는 서로의 [[필요충분조건]]이라 한다.
• 논리동치,logical_equivalence
       curr at [[동치,equivalence?action=highlight&value=논리동치,logical_equivalence]]
• 논리학,logic
        [[논리동치,logical_equivalence]] (curr at [[동치,equivalence]])
• 동치,equivalence
       Up: [[동치,equivalence]], [[관계,relation]] > [[이항관계,binary_relation]]
       [[범주,category]]의 [[동치,equivalence]]: [[category_equivalence]] - w
       Up: [[논리학,logic]] [[논리,logic]] [[로직,logic]] [[동치,equivalence]]
       [[VG:동치,equivalence]]는 없고, see
• 동치관계,equivalence_relation
       [[동치,equivalence]]
• 디그리,degree
        Up: [[동치,equivalence]]? or 동등성?
• 범주,category
       [[범주,category]]의 [[동치,equivalence]]: [[category_equivalence]] - w
       [[범주,category]]의 [[동치,equivalence]]: [[category_equivalence]] - w
• 상등,equality
       동치는 no. 동치는 [[동치,equivalence]]로 정함.
       equivalence - [[동치,equivalence]]
• 소거,elimination
       두 [[명제,proposition]]의 [[동치,equivalence]]
• 완전성completeness
        However, the computationally equivalent // n. computational_equivalence ? WtEn:computational_equivalence ? "computational equivalence" Ggl:"computational equivalence" \ Up: [[동치,equivalence]]
• 클래스,class
       [[동치,equivalence]]
• 함의,implication
       항진인 쌍조건문 p↔q를 [[동치,equivalence]]''(esp. [[논리동치,logical_equivalence]])''라 하고 p⇔q로 나타내며 p와 q는 서로의 [[필요충분조건]]이라 한다.
• 합동,congruence
       [[동치,equivalence]]

You can also click here to search title.