ふたなりで覺える論理學

「ふたなりで覺える論理學」が長年の友人である數學マッチョから送られてきたので記す。
命題：ふたなりならばちんぽがある
逆：ちんぽがあるならふたなり
裏：ふたなりでないならちんぽがない
對偶：ちんぽがないならふたなりではない