대우

1 개요[ | ]

contraposition
대우
  • 어떤 명제에 대해 결론의 부정을 가정으로, 가정의 부정을 결론으로 하는 명제
명제: [math]\displaystyle{ P \to Q }[/math]
대우: [math]\displaystyle{ \neg Q \to \neg P }[/math]
  • 명제가 참이면 그 대우도 참이고, 명제가 거짓이면 그 대우도 거짓임

2 예시[ | ]

  • 명제: 이등변삼각형은 정삼각형이다.
  • 대우: 정삼각형이 아니면 이등변삼각형이 아니다.

3 같이 보기[ | ]

4 참고[ | ]

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}