1) 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.
命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。
2) formal proposition
形式命题
1.
A formal proposition is essentially a category of concrete propositions, whose general properties can be understood through formal 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)的任何公式.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条