편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
284번째 줄: | 284번째 줄: | ||
변수가 속해있는 [[전체집합]] U의 원소 중 어떤 조건이 참이 되게 하는 모든 원소의 집합을 그 조건의 '''진리집합'''이라고 한다. 조건 p, q의 진리집합이 P, Q일 때, 다음이 성립한다. | 변수가 속해있는 [[전체집합]] U의 원소 중 어떤 조건이 참이 되게 하는 모든 원소의 집합을 그 조건의 '''진리집합'''이라고 한다. 조건 p, q의 진리집합이 P, Q일 때, 다음이 성립한다. | ||
p<math>\Rightarrow</math>q <math>\Leftrightarrow</math> P<math>\in</math>Q | |||
p<math>\nRightarrow</math>q <math>\Leftrightarrow</math> P<math>\notin</math>Q | |||
{{주석}} | {{주석}} |