[推理与证明现代逻辑的技巧]

【推理与证明现代逻辑的技巧】.pdf校 推理与证明 现代逻辑的技巧 [日]内井物七著 陈祖军王学曲玉波译 赵总宽日文版前言 从历史的角度看,现代符号逻辑学,是自弗雷格以来,与 数学的基础问题相联系发展起来的。而逻辑学教材又多带有 浓厚的数学色彩,也反映了这方面的情况。因此,许多人可能 有这样一种印象:逻辑学是一门深奥而又枯燥的科学。可是作 为以一般读者和大学生为主要对象的教科书,就没有必要搞得 那么深奥枯燥了。我们稍加思索就会发现:我们每天都在进行 各种推理和证明。把这样的推理和证明的能力稍加发挥,养成 有规律地思考问题的习惯,我认为这是学习逻辑学的最好捷径.也许还有人认为这样也是深奥枯燥的,但是一旦他们看到 近来掀起的围棋和相棋热,也一定会喜欢上具有与围棋和相棋 同样趣味的智力游戏。目录 一—谁是犯人？谁是吸血鬼？哪些是逻辑规律？犯人存在吗？狼孩存在吗？逻辑学者做了哪些讨论？推理与证明 符号的引入 真值表 消去法推理 消去规则 逻辑尺 矛盾和逻辑规律 归谬法 正确的推论与永真式 10.消去法推理与永真式 11.用反证法判定逻辑规律 12.反证法的扩展 13.假定法 14.分析与综合 15.逻辑性的分析 16.新反证法.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。