편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
267번째 줄: | 267번째 줄: | ||
각각의 연산법칙들은 밴 다이어그램을 그려보면 쉽게 이해할 수 있다. | 각각의 연산법칙들은 밴 다이어그램을 그려보면 쉽게 이해할 수 있다. | ||
==== 역, 이, 대우 ==== | ==== 역, 이, 대우 ==== | ||
명제 <math>p\rightarrow q</math>는 | 명제 <math>p\rightarrow q</math>는 3가지 방법으로 뒤집을 수 있다. | ||
* 가정과 결론을 바꾸는 방법(<math>q\rightarrow p</math>)을 ''역''이라고 한다. | * 가정과 결론을 바꾸는 방법(<math>q\rightarrow p</math>)을 ''역''이라고 한다. | ||
* 가정과 결론을 모두 부정하는 방법(<math>\lnot p\rightarrow\lnot q</math>)을 ''이''라고 한다. | * 가정과 결론을 모두 부정하는 방법(<math>\lnot p\rightarrow\lnot q</math>)을 ''이''라고 한다. |