网站首页  百科知识

请输入您要查询的百科知识:

 

词条 范式方法
类别 中文百科知识
释义

范式方法

运用范式判定真值形式的逻辑性质的方法。一真值形式是重言式,当且仅当它的合取范式的每个合取支都是重言的简单析取式,即同时包含一命题变元及其否定作为析取支的简单析取式;一真值形式是矛盾式,当且仅当它的析取范式的每个析取支都是矛盾的简单合取式,即同时包含 一命题变元及其否定作为合取支的简单合取式。

随便看

 

开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2000-2025 oenc.net All Rights Reserved
更新时间:2025/9/28 19:22:42