본문 바로가기

수학/이산수학

[이산수학] 복합명제의 진리표 (Constructing Propositions' Truth Table)

[Discrete Mathematics] p.12

 

https://midoriprogramming.tistory.com/5

 

[이산수학] 명제와 명제 논리, 연산자 (Propositions & Propositional Logic)

[Discrete Mathematics] p.1-11 ○ 명제 (Propositions) 명제는 참과 거짓 중 하나를 나타내는 선언문이다. (A proposition is a declarative sentence that is either true or false) 논리의 기본적인 구성요소..

midoriprogramming.tistory.com

 

지난 시간에 명제, 명제 논리, 연산자에 대해서 알아봤다.

 

이번에는 복합명제의 진리표에 대해서 알아보겠다.

 

 

 

○ 복합명제의 진리표 (Truth Table)

 

연산자(혹은 논리적 접속사)를 사용해 임의 개수의 명제 변수를 포함하는 복잡한 복합명제를 생성할 수 있다.

 

 

 

● 예시

 

 

만약 위와 같은 복합 명제가 있다면

이에 대한 진리표는 아래와 같이 나타낼 수 있다.