이산수학 조건명제, 항진명제, 모순명제에 대해 진리표를 만들어 설명하고 각각 예를 들어 설명하시오

Ⅰ.
서론

이산수학에서 명제는 참과 거짓의 진릿값을 명확히 결정하는 논리적 문장이다. 이를 통해 논리학으로서 기초를 확보한다. 본 보고서에서는 조건명제, 항진명제, 모순명제 각각의 정의와 진리표를 체계적으로 제시한다. 각각의 예시를 들어 개념을 명료히 하는 과정에서 이산수학 학습을 위한 사고력을 증진한다.

Ⅱ. 본론

1. 조건명제

조건명제란 임의의 명제 p와 q를 가정한 상태에서, ‘p이면 q’라는 일반 조건 명제의 존재를 인정한다. 일반적으로 논리학에서는 ‘~이면’이라는 가정을 진리함수적 조건 기호 ⊃로 이해한다. 예외적으로 가장 강한 조건을 나타낼 수도 있다.1)1) 임석진 외, (2009), 철학사전, 중원문화.
조건명제 안에서는 명제가 거짓이라고 확정할 수 없는 경우 그것을 참으로 간주한다.2)2) 한림학사, (2007), 통합논술 개념어 사전, 청서출판.
1) 진리표

2) 예시

‘해가 서쪽에서 뜬다면’ 이라는 명제가 있을 때, 해당 조건은 언제나 거짓이다. 이에 명제는 항상 참이 된다. 예를 들어 ‘해가 서쪽에서 뜬다면 사과나무를 한 그루 심겠다.’는 문장에서는 사과나무를 심어도 심지 않아도 참이다.
…