0 New HSK word(s):

1 Old HSK word(s): D 命题 * ming4 ti2 jd ein Thema geben, Theorem, Behauptung, Urteil

辅助命题 [fu3 zhu4 ming4 ti2]

Lemma (S)
命题 [ming4 ti2]

Logische Aussage (S, Philos)
命题逻辑 [ming4 ti2 luo2 ji5]

Aussagenlogik (Math)