命题mìngtíproposição (lógica, matemática); afirmação declarativa que pode ser verdadeira ou falsa命题 — HanLexa