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
辩证命题形式
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)的任何公式.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条