定义蕴涵

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