원래 명제가 p->q라고 하면,
역은 Converse라고 하고 q->p가 됩니다.
이는 inverse라고 하고 -p->-q가 됩니다.
대우는 Contrapositive라고 하고 -q->p입니다.
'옛글' 카테고리의 다른 글
| 리눅스 img 마운트 명령어 (0) | 2016.03.19 |
|---|---|
| 리눅스 커널 컴파일하기 (0) | 2016.03.19 |
| 이미지 파일 구조(Hex) (0) | 2016.03.03 |
| 칼리 리눅스 덮개 절전 비활성화 (0) | 2016.01.24 |
| 라즈베리파이 초기설정 (0) | 2016.01.17 |