古典命題論理はCraig補間性が成り立つ