반응형
'A 이면 B이다' 라는 명제가 있다고 합시다. 이 명제의 대우명제는 '(not B) 이면 (not A)이다' 입니다.
명제 : A 이면 B이다.
대우명제 : (not B) 이면 (not A) 이다
두 명제는 동치입니다. 두 명제가 동치라는 것은 진리표가 같다는 것입니다. 'A이면 B이다'의 진리표는 아래와 같습니다.
'(not B) 이면 (not A) 이다' 의 진리표도 아래와 같이 구할 수 있습니다.
두 진리표가 동일하므로 두 명제는 동치입니다.
반응형
'공대생을 위한 수학--------------------- > 명제논리' 카테고리의 다른 글
| [명제논리] 2. 'A이면 B이다' 와 not(A and (not B)) 는 동치이다 (1) | 2023.12.27 |
|---|---|
| [명제논리] 1. 'A이면 B이다' 의 진리표 이해하기 (0) | 2023.12.25 |
댓글