网站首页 词典首页
支命题是简单析取的合取式。如⑴(pvq)(pvq),⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式,当且仅当,其每一简单析取中必有一命题变项和它的否定同时出现;否则,不是重言式。如上述⑴不是重言式,而⑵是重言式。
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。