经典命题逻辑的一个公理系统
경전명제라집적일개공리계통
  • 国家社科期刊
    哲学研究 철학연구
    Philosophical Researches
    1997年 8期 51~58 ,共null页

    张清宇

    장청우

    经典命题逻辑 公理系统Z 重言式 双重否定 可证性 子公式 原子桥 初始符号 真值指派 树图 經典命題邏輯 公理繫統Z 重言式 雙重否定 可證性 子公式 原子橋 初始符號 真值指派 樹圖
    경전명제라집 공리계통Z 중언식 쌍중부정 가증성 자공식 원자교 초시부호 진치지파 수도


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