说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 形式命题
1)  formal proposition
形式命题
1.
A formal proposition is essentially a category of concrete propositions, whose general properties can be understood through formal propositions.
形式命题的实质是具体命题的类。
2)  propositional form
命题形式
1.
Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.
命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。
3)  dialectical forms of proposition
辩证命题形式
4)  form of proposition of character
性质命题形式
5)  Basic proposition form
基本命题形式
6)  form reform of subject assignment
命题形式变革
补充资料:命题形式


命题形式
propositional form

  命题形式〔脚叩仍泪佣目血肋.;。pouo3料肋“aJU.H阳加-PMal 一种包含变元的语言表达式,可以用命题替换其中变元从而获得新的命题.在形式化语言中命题形式是包含命题变元自由出现的公式,该命题变元的取值在真假值(truthM习ue)集中. 有时命题形式是类似于命题公式(propositional for-md巨)构造的表达式,但使用元语言(meta一hng旧罗)符号代替命题变元,并且表示命题演算(prop书ltio八alcakulus)的任何公式.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条