P = >  P V Q  는 항상 진리라는데

수식증명을했음에도 직관적이해가 안됩니다.

P는 빨간색  PVQ는 파란색인데 둘은 다른게 아닌가요? 

(^는 V거꾸로 된겁니다. 제곱아닙니다.)

또 P ^ Q => P 이다 에서

P ^ Q는 빨간색 P는 파란색이라 안맞지않나요?

1. 일단 이걸 집합에 적용해도되는지가 의문이고

2. 더나아가  => 라는게 애초에 ~면 ~이다인데    P이면  PUQ라는게 말이 되는지가 직관적으로 이해가 안갑니다.  

위에 2질문들은 P=PVQ의 느낌으로 접근해서 틀린거 같은데   

P집합이면 PUQ 집합이다. 가 말이 되나요? P는 P집합이고 PUQ는 PUQ집합인데 둘이 같다는것도 아니고

P => PVQ 이게 무슨말인지 이해가 안갑니다.