网站首页 词典首页
运用范式判定真值形式的逻辑性质的方法。一真值形式是重言式，当且仅当它的合取范式的每个合取支都是重言的简单析取式，即同时包含一命题变元及其否定作为析取支的简单析取式；一真值形式是矛盾式，当且仅当它的析取范式的每个析取支都是矛盾的简单合取式，即同时包含 一命题变元及其否定作为合取支的简单合取式。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。