词条 | 范式方法 |
类别 | 中文百科知识 |
释义 | 范式方法运用范式判定真值形式的逻辑性质的方法。一真值形式是重言式,当且仅当它的合取范式的每个合取支都是重言的简单析取式,即同时包含一命题变元及其否定作为析取支的简单析取式;一真值形式是矛盾式,当且仅当它的析取范式的每个析取支都是矛盾的简单合取式,即同时包含 一命题变元及其否定作为合取支的简单合取式。 |
随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。