欢迎来到PP题库网 PP题库官网
logo
全部科目 > 大学试题 > 哲学 > 逻辑学

单项选择题

命题演算的公理系统L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理独立性。
从L中去掉L3得到公理系统L’
在L中加上(A →A )作为L4得到公理系统L”
在这三个公理系统中,具有可靠性的是:()

    A.L
    B.L 和L’
    C.L 和L”
    D.L,L’和L”

点击查看答案

相关考题

微信小程序免费搜题
微信扫一扫,加关注免费搜题

微信扫一扫,加关注免费搜题