対偶 (論理学) - 他の言語