보통 고1때배우는
명제단원의
필요조건과 충분조건 개념.
사람은 동물이다(o)
동물은 사람이다(x)
이런식으로 화살표방향에 따라
집합의 포함관계가 정해짐.
고로 사람은 동물의 부분집합인거지.
역,이,대우라는 개념도 있는데
한명제가 참이면 대우명제도 참이다.
그러나 해당명제가 참이라고해서 역과 이까지
참이라고 단정할수는 없다.
밴다이어그램으로 간단히 증명가능한
개념들이지만
토론할때 급진적으로 논리를
승화시키는 오류를 지적할때
요긴할때 쓸수있음.