“可满足性”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	可满足性
释义	可满足性哲学卷可满足性　　关于形式系统的语义性概念。通常指狭谓词演算公式的一种性质。一个公式是可满足的,当且仅当对某一个体域,至少有一特定个体常项、一个命题常项和一特定谓词常项,将它们代入公式中的相应变项后,得到的是一个真命题。一个公式可满足时,称为可满足公式。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷可满足性　　数理逻辑中关于形式系统的语义概念。经典谓词逻辑系统中的一个公式是可满足的,当且仅当至少存在一个模型(即一种解释)中的一种赋值使该公式为真。正规模态逻辑系统中的一个公式是可满足的,当且仅当至少存在一个模型,使该公式在这个模型中的某个可能世界被赋值为真。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	█是什么意思 ██是什么意思 █是什么意思 █是什么意思 █哒是什么意思 █是什么意思 █是什么意思 █车是什么意思 █错是什么意思崔是什么意思 █是什么意思 █是什么意思 █鑗是什么意思 █是什么意思 █硐是什么意思 █是什么意思 █头是什么意思 █是什么意思 █云█雨是什么意思 █是什么意思 █是什么意思 █是什么意思 █是什么意思 █黄是什么意思 █是什么意思 затруднительный 的意思 затруднить 的意思 затруднить的意思 затрудниться 的意思 затрудниться的意思 затруднять的意思 затруднять 的意思 затрудняться 的意思 затрудняться的意思 затрястись 的意思抢先抢先占有土地之人抢光抢劫抢劫一空抢夺抢救抢案抢渡抢滩

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。