7Search.ccpropositionpropositionproposition 中文proposition 65propositional logicpropositions 中文propositional calculusproposition meaningproposition relativepropositionalproposition subordonnéeproposition subordonnée relative