유튜브 보는데 이게 맞음?

[철수these..(taketaketaketake)]

ㅔ

P,P→Q⊢Q

⊃ 가 <-- 아닌가?

[ㅇㅇㅇ(58.140)]

-> 임

[ㅁㅁ(111.239)]

모양이 똑같아서 헷갈리긴 하는데, 집합론의 부분집합 기호 ⊂와는 관계가 전혀 없습니다.

[철수thesexyguy(taketaketaketake)]

ㅇㅎ

[익명(114.200)]

ㅋㅋ ㅈㅇㅎ 교수님 아잉교