哲学研究
哲學研究
철학연구
Philosophical Researches
2003年
9期
90~95
,共null页
逻辑系统 公理系统 初始符号 自然演绎系统 模态逻辑系统
邏輯繫統 公理繫統 初始符號 自然縯繹繫統 模態邏輯繫統
라집계통 공리계통 초시부호 자연연역계통 모태라집계통
在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q；p，所以q”。也可以用符号表示为(p→q)Ap→q。这种有效式在逻辑中又称为重言式。在正确的推理(合理的论证)中，各个重言式是一致的。因此，如果能够把握被看成是重言式的所有复合命题形式，那么，也就把握了所有的正确推
在日常生活中，一箇有效的推理通常可以用形式錶示為“如果p，那麽q；p，所以q”。也可以用符號錶示為(p→q)Ap→q。這種有效式在邏輯中又稱為重言式。在正確的推理(閤理的論證)中，各箇重言式是一緻的。因此，如果能夠把握被看成是重言式的所有複閤命題形式，那麽，也就把握瞭所有的正確推
재일상생활중，일개유효적추리통상가이용형식표시위“여과p，나요q；p，소이q”。야가이용부호표시위(p→q)Ap→q。저충유효식재라집중우칭위중언식。재정학적추리(합리적론증)중，각개중언식시일치적。인차，여과능구파악피간성시중언식적소유복합명제형식，나요，야취파악료소유적정학추
