不用联结词的经典命题逻辑系统
불용련결사적경전명제라집계통
  • 国家社科期刊
    哲学研究 철학연구
    Philosophical Researches
    1995年 5期 40~47 ,共null页

    张清宇

    장청우

    经典命题逻辑 联结词 重言式 可靠性定理 公理系统 公式集 自然推理系统 完全性定理 真值指派 基本定理 經典命題邏輯 聯結詞 重言式 可靠性定理 公理繫統 公式集 自然推理繫統 完全性定理 真值指派 基本定理
    경전명제라집 련결사 중언식 가고성정리 공리계통 공식집 자연추리계통 완전성정리 진치지파 기본정리


    원문보기 원문다운로드 사이트로이동
저자의 최근 논문