定义蕴涵(definitional implication)根据定义用条件句表达前后件联系的一种蕴涵.在"如果p,那么q"中,后件是根据定义而从前件中得出的.如:"如果张三是单身汉,那么他是没有妻子的.""如果4能被2整除,那么4是偶数.".定义蕴涵(definitional implication)根据定义用条件句表达前后件联系的一种蕴涵.在"如果p,那么q"中,后件是根据定义而从前件中得出的.如:"如果张三是单身汉,那么他是没有妻子的.""如果4能被2整除,那么4是偶数."