命题的蕴涵

出处：按学科分类—社会科学总论 河北人民出版社《简明文化知识辞典》第697页（188字）

逻辑学术语。指具有真值蕴涵关系的命题，即两个命题P和Q由真值联项“蕴涵”而成的复合命题，也就是P和Q的蕴涵式。它的符号式为：P→Q，读作“如果P真，那么Q一定真”。P称作前件，Q称作后件。命题的蕴涵实质就是假言判断。它们的真假关系为：P真并且Q真，P→Q就真；P真Q假，P→Q就假；P假Q真，P→Q就真；P假Q假，P→Q就真。