본문 바로가기
컴퓨터 공학/Software Math

[이산수학]합성명제(Compound), 항진명제(Tautology), 모순명제(Contradicition)란?

by hahehohoo 2020. 7. 27.
반응형

[이산수학]합성명제(Compound), 항진명제(Tautology), 모순명제(Contradicition)란?

 

 

■ 합성명제(Compound)

 

합성명제의 진릿값은 그 함성명제를 구성하고 있는 명제 각각의 진릿값과 그 명제를 결합하는 논리 연산자에 의해 결정됩니다. 따라서 연산의 우선순위를 정하는 것이 중요합니다. 아래 표를 따르면 됩니다. 

 

 

합성명제는 진릿값에 따라 다음과 같이 세 종류로 나눌 수 있습니다. 

 

 항진명제(Tautology)

- 논리 연산을 통해 언제나 참인 명제 

- 집합론에서 전체 집합과 같은 개념

 

 

 모순명제(Contradicition)

- 논리 연산을 통해 언제나 거짓인 명제 

- 집합론에서 공집합과 같은 개념

 

 사건명제(Contingency)

항진명제도 모순명제도 아닌 명제 

 

 

 

-----------------------------------

이산수학 총정리

목록 보러가기 

-----------------------------------

 

반응형


댓글