古典命题逻辑相关硕士博士期刊学术论文

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年（基于他......