명제

충분조건과 필요조건

1. 충분조건과 필요조건
1. 충분조건과 필요조건
   명제 가 참일 때, 기호로 와 같이 나타내고
   는 이기 위한 충분조건,
   는 이기 위한 필요조건
   
   
2. 필요충분조건
   명제 에 대하여 이고 일 때, 기호로 와 같이 나타내고 는 이기 위한 필요충분조건이라 한다.


2. 충분조건, 필요조건과 진리집합의 관계
   두 조건 의 진리집합을 각각 라 할 때,
1. 이면 이므로
2. 이면 이므로 는 이기 위한 필요충분조건