三 联言、选言推理