だから
命題論理の内包ってのは
命題の「真偽」だけに着目してるんだって
PQいずれも真なら
P→QもQ→Pも真