古典命題論理は選言特性を持たない