요약
두 명제를 '~일 때, 그리고 그때에 한해'(if, and only if), 즉 필요충분조건으로 연결해 한 명제로 만드는 논리수학용어.
두 명제 p와 q가 동치를 이룬다면, 'p는 q가 되기 위한 필요충분조건이다'라고 정의할 수도 있다.
본 콘텐츠의 저작권은 저자 또는 제공처에 있으며, 이를 무단으로 이용하는 경우 저작권법에 따라 법적 책임을 질 수 있습니다.
출처
다음백과
|
cp명Daum
전체항목
도서 소개
다양한 분야의 전문 필진으로 구성. 시의성 이슈에 대한 쉽고 정확한 지식정보를 전달합니다.