合取引入规则

合取引入规则(introduction rule of conjunction)是推理规则的一种，如果前提p为真，q为真，则得结论p与q为真，即p∧q为真，由此可得推理规则，这个推理规则称为合取引入规则。合取引入规则是某些自然推理系统中的推理规则之一。简记为∧Ⅰ。