sentential calculus

sentential calculus 基本解释

网络  句子演算; 语句演算

计算机

重点词汇

• calculusn. 结石；微积分学
• sententiala. 判决的, 命题的, 句子的

sentential calculus 双语例句

1. 1、 Two Intuitionistic Systems of sentential calculus
   命题演算的两个直觉主义系统
2. 2、 The authors give a brief introduction to Hilbert's type intuitionistic system of first order sentential calculus, and prove some theorems of this system by logical deduction method. The purpose of this paper is to facilitate understanding, studying and ap
   简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念的理解，便于对此系统的进一步研究及应用。