proposition variable的意思|示意
美 / ˌprɔpəˈziʃən ˈvɛəriəbl /
英 / ˌprɑpəˈzɪʃən ˈvɛriəbəl /
命题变元