语句逻辑的英文：propositional logic。propositional logic的读音：英[ˌprɒpəˈzɪʃən(ə)l ˈlɒdʒɪk]；美[ˌprɑpəˈzɪʃən(ə)l ˈlɑːdʒɪk]。中文意思：[计] 命题逻辑。
sentential logic, 这些都有“语句逻辑”的意思。具体用哪个看语境。
