命题逻辑 (命題邏輯) mìngtí luóji
          
              mìngtí luóji 
              
              set phrase 
              propositional logic 
              Domain: Modern Chinese 现代汉语
              
                , Subdomain:  
              
              
                , Concept:  
              
              
              
                Notes: (CC-CEDICT '命題邏輯')