동치
다른 표기 언어 equivalence , 同値요약 두 명제를 '~일 때, 그리고 그때에 한해'(if, and only if), 즉 필요충분조건으로 연결해 한 명제로 만드는 논리수학용어.
두 명제 p와 q가 동치를 이룬다면, 'p는 q가 되기 위한 필요충분조건이다'라고 정의할 수도 있다.
요약 두 명제를 '~일 때, 그리고 그때에 한해'(if, and only if), 즉 필요충분조건으로 연결해 한 명제로 만드는 논리수학용어.
두 명제 p와 q가 동치를 이룬다면, 'p는 q가 되기 위한 필요충분조건이다'라고 정의할 수도 있다.