백과사전 상세 본문

출처 다음백과

선언

다른 표기 언어 disjunction , 選言
툴바 메뉴

요약 논리학에서 '또는'이라는 뜻을 표현하는 명제 안의 용어들 사이의 관계나 연결.

양자택일의 내용을 가진 진술이다. 명확하게 설명하자면 배타적 선언과 포괄적 선언을 구분해야 한다. 배타적 선언은 x나 y 중 하나만이고 x, y 둘 다일 수는 없다는 뜻으로 x이미지y로 표시한다. 포괄적 선언은 x나 y 중 하나인 경우와 x, y 둘 다인 경우도 포함한다는 뜻으로 x∨y 로 표시한다.→ 함언

본 콘텐츠의 저작권은 저자 또는 제공처에 있으며, 이를 무단으로 이용하는 경우 저작권법에 따라 법적 책임을 질 수 있습니다.

출처

다음백과
다음백과 | cp명Daum 전체항목 도서 소개

다양한 분야의 전문 필진으로 구성. 시의성 이슈에 대한 쉽고 정확한 지식정보를 전달합니다.

TOP으로 이동
태그 더 보기
서양철학

서양철학과 같은 주제의 항목을 볼 수 있습니다.



[Daum백과] 선언 – 다음백과, Daum
본 콘텐츠의 저작권은 저자 또는 제공처에 있으며, 이를 무단으로 이용하는 경우 저작권법에 따라 법적 책임을 질 수 있습니다.