• 2022-07-01
    一阶谓词逻辑属于非经典逻辑表示法,而经典命题逻辑属于二值逻辑表示法。