반응형
[이산수학]합성명제(Compound), 항진명제(Tautology), 모순명제(Contradicition)란?
■ 합성명제(Compound)
합성명제의 진릿값은 그 함성명제를 구성하고 있는 명제 각각의 진릿값과 그 명제를 결합하는 논리 연산자에 의해 결정됩니다. 따라서 연산의 우선순위를 정하는 것이 중요합니다. 아래 표를 따르면 됩니다.
합성명제는 진릿값에 따라 다음과 같이 세 종류로 나눌 수 있습니다.
■ 항진명제(Tautology)
- 논리 연산을 통해 언제나 참인 명제
- 집합론에서 전체 집합과 같은 개념
■ 모순명제(Contradicition)
- 논리 연산을 통해 언제나 거짓인 명제
- 집합론에서 공집합과 같은 개념
■ 사건명제(Contingency)
항진명제도 모순명제도 아닌 명제
-----------------------------------
-----------------------------------
반응형
'컴퓨터 공학 > Software Math' 카테고리의 다른 글
[이산수학]드 모르간(De-Morgan) 법칙이란? (403) | 2020.07.28 |
---|---|
프로그래머를 위한 이산수학 총정리_수학으로 이해하는 디지털 논리: 이산수학(한빛미디어, 박주미지음) (428) | 2020.07.27 |
[이산수학]논리연산자란?(부정, 논리곱, 논리합, 배타적 논리합)_진리표로 나타내기 (368) | 2020.07.27 |
[이산수학]불 대수와 연산우선순위란? (406) | 2020.07.27 |
[이산수학]명제와 진릿값이란? (421) | 2020.07.27 |
댓글