小不点搜索 登录

哈姆特《逻辑语言与意义》-20-第二章命题逻辑：2.6命题逻辑的语义：重言式推广应用，如德摩根定律；非重言式，矛盾式：a∧¬a；若a是重言，则¬a必是矛盾，反之

请输入举报反馈原因