注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. ＢＬ命题逻辑系统的强同余关系及演绎系统

  2. 通过在 ＢＬ命题逻辑系统的公式集 Ｆ（Ｓ）中提出演绎系统的概念，并引入强同余关系，.讨论 ＢＬ系统中演绎系统和强同余关系之间的联系，给出二者之间相互转换的方法，并得到.了二者之间相互转换的还原性

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：255kb
    • 提供者：weixin_38713450