网站首页 词典首页
逻辑学术语。指具有真值蕴涵关系的命题，即两个命题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就真。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。