模态推理是由模态命题构成的一种演绎推理。模态命题主要是反映事物情况存在或发展的必然性或可能性的命题。在逻辑中，“必然”“可能”“不可能”等叫作“模态词”，包含“模态词”的命题叫作“模态命题”。 cE7zuo2oHiOtv1H+EIGpKCODEjq5GFzyOL+Q+bNjoDNPBpZGk7WvpHV2YujYkSb5