6.4 選言推理