함의(implication)의 벤다이어그램이 이거맞음?

[2426(yooncloud)]

p 가 거짓일때는 참

p가 참일때 q도 참이면 참

나머지는 영역은 거짓

ㅁㅈ?