[size=150][b]다음 그림은 p와 q의 진리표와 벤다이어그램을 나타낸다. [br]여러 도형을 마우스([icon]https://www.geogebra.org/images/ggb/toolbar/mode_move.png[/icon])로 클릭해보자.[/b][/size]
[size=150][b]명제 [/b][math]p\longrightarrow q[/math][b]의 진리집합은 [/b][math]U-A[/math][b]이다. 집합 [/b][math]A[/math][b]는?[/b][/size]