网站首页 百科知识
判定真值蕴涵式是否为重言式的逻辑方法。先假定所要判定的蕴涵式不是重言式，即前件真且后件假；按照这一假定给每个命题变元赋值；如果出现矛盾赋值，即为满足前件真后件假必须给同一命题变元既赋以真又赋以假，那么蕴涵式即为重言式；否则不是重言式。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。