P => Q에서
P가 true이고 Q가 true이면 P => Q는 무조건 true야?
P, Q는 각각 true지만 P=>Q로 연결됐을 때 true가 아닌 경우는 없어?