命题演算( 逻辑学术语)是 命题逻辑的公理化,任务是使用演算手段来讨论命题逻辑.可采用两种方法建立命题演算:自然演算和公理演算.命题演算系统的代表:自然演算SN,公理化命题演算P.其中公理化命题演算P由德国逻辑学家D.希尔伯特和W.阿克曼在" 数理逻辑基础"一书中提出.命题演算( 逻辑学术语)是 命题逻辑的公理化,任务是使用演算手段来讨论命题逻辑.可采用两种方法建立命题演算:自然演算和公理演算. 命题演算系统的代表:自然演算SN,公理化命题演算P.其中公理化命题演算P由德国逻辑学家D.希尔伯特和W.阿克曼在" 数理逻辑基础"一书中提出.