蕴涵关系的句式一般表达为“如果p,那么q”,表示前件p和后件q的条件关系。包括多种形式;定义蕴含,后件是根据定义而从前件中得出的。因果蕴含,其前件和后件之间表述的是一个因果联系,决心蕴含,前件表示假设出现的某种情况,后件表示某种确信或将按某种方式行动的决心,以后件之假从而否定前件。
根据上述定义,下列选项中,依次为定义蕴涵、因果蕴涵和决心蕴涵的是:
(1)如果4能被2整除,那么4是偶数
(2)如果物体发生摩擦,那么就会发热
(3)如果今天下雨,那么也不会是下大雨
(4)如果这树能开花,那么太阳将从西边出来