선언 명제
"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 본문
선언 명제는 "A이거나 B이다"와 같이 둘 이상의 명제(선언지)를 '또는'으로 연결하여 만든 복합 명제입니다. 예를 들어, "고래는 포유류이거나 어류이다" 와 같은 문장이 선언 명제입니다.
선언 명제의 종류
- 포괄적 선언 명제: 선언지들이 동시에 참일 수 있는 경우입니다. 예를 들어 "김박사는 저녁 식사로 불고기를 먹거나 탕수육을 먹는다"는 문장에서 김박사가 불고기와 탕수육을 모두 먹을 수도 있으므로 포괄적 선언 명제입니다. (2009-02-10)
- 배타적 선언 명제: 선언지들이 동시에 참일 수 없는, 즉 상호 배타적인 관계인 경우입니다. "우주는 공간적으로 유한(有限)하거나 무한(無限)하다"와 같은 문장에서 우주는 유한하면서 동시에 무한할 수 없으므로 배타적 선언 명제입니다. (2009-02-10)
선언 명제의 진리값선언 명제는 선언지 중 하나만 참이어도 전체가 참이 됩니다. 즉, 모든 선언지가 거짓일 때만 선언 명제는 거짓이 됩니다. (2020-05-03)
선언 명제와 관련된 오류선언지 긍정의 오류는 선언적 삼단 논법에서 대전제의 어느 한 명제를 긍정하는 것이 필연적으로 다른 명제의 부정을 도출한다고 여기는 오류입니다. 이는 포괄적 선언 명제와 배타적 선언 명제를 혼동하여 발생합니다. 논리학에서 선언 명제는 일반적으로 포괄적 의미로 사용됩니다.
예시
- "그녀는 학생이거나 직장 여성이다" (2008-08-21)
- "사은품은 선풍기 또는 전자레인지입니다" (2020-05-03) - 배타적 선언 명제의 예시
- "철수는 남자이거나, 또는 여자다" (2020-05-03)
선언 명제는 가언 명제("만약 A이면 B이다")와 함께 형식 논리학에서 복합 명제의 한 종류로 다루어집니다. (2023-12-27)
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com