企源知识库

某研究所要从3名科研人员A、B、C中挑选1-2人去进修，由于工作需要，选派时需要满足下列条件： （1）若A去，则C同去； （2）若B去，则C不能去； （3）若C不去，则A或B可以去。 问：如何确定选方案？
【正确答案】：

首先符号化，设p：派A去，q：派B去 , r：派C去，由已知条件可得：

因此，有3种选派方案：C去，A和B都不去；B去，A和C都不去；A、C同去，B不去。

【题目解析】：先通过合理的假设，把自然语言实现符号化，然后利用命题逻辑的推理性质进行逻辑命题结构的简化，得到最终的析取式，再回归到自然语言即可。