网站首页  词典首页

请输入您要查询的字词:

 

字词 合取范式
类别 中英文字词句释义及详细解析
释义 合取范式

支命题是简单析取的合取式。如⑴(pvq)(pvq),⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式,当且仅当,其每一简单析取中必有一命题变项和它的否定同时出现;否则,不是重言式。如上述⑴不是重言式,而⑵是重言式。

随便看

 

文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。

 

Copyright © 2004-2024 Ctoth.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/14 7:20:06