主范式在推理有效性判断中的应用
주범식재추리유효성판단중적응용
The Usage of Principal Normal Form in Reasoning Valid Judgment
  • 万方数据
    安康学院学报 안강학원학보
    JOURNAL OF ANKANG UNIVERSITY
    2011年 3期 89-91 ,共3页

    胡纪华

    호기화

    主析取范式%主合取范式%推理%有效性 主析取範式%主閤取範式%推理%有效性
    주석취범식%주합취범식%추리%유효성
    给出了利用主析取范式、主合取范式判别推理有效性的两种方法，指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.
    급출료이용주석취범식、주합취범식판별추리유효성적량충방법，지출료유전제적주합취범식석취임하명제공식소득신공식균위전제적유효결론.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문