内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 评《后宫升级记》
- 评《浪子回头卿不屑》
- 评《垃圾之家 》
- 有关少年息的30个片段
- 爱，有你才完整
- 评《[Fate/Zero]Final》
- 主要说说荣祥和小孟
- [剑网三][佛藏CP]万丈红尘落
- [仿传奇]柳士杰传
- 他和她
- 轨迹
- 花相似
- 评《慢慢仙途（仙灵界）》
- 谁可比肩？
- （综）穿越之旅
- “时辰大小姐”的一天
- 评《后宫升级记》
- 评《重生之兄弟情深》
- 神弃的世界
- （综漫+综影视）玛丽苏，放开那少年！
- 嗜血王爷霸爱宠
- 蛇花子
- 情节有点过
- 爸爸是个渣
- 好看言情推荐
- NeoRouter Professional Client for FreeBSD (x64)
- NeoRouter Professional Server for FreeBSD (x64)
- NeoRouter Professional Server for OpenWrt (mipsel)
- NeoRouter Professional Client for OpenWrt (mipsel)
- NeoRouter Professional Server for OpenWrt (x86)
- NeoRouter Professional Client for OpenWrt (x86)
- NeoRouter Professional Client for FreeBSD (x86)
- NeoRouter Professional Server for FreeBSD (x86)
- Autopano Giga for Linux 64 bits(deb)
- Autopano Giga for Linux 32 bits(deb)
- 我的火车玩具
- 麻将方块
- 我是工程师
- 量子射击
- 口袋赛跑
- 反射星球
- 白鼠空投邮包
- 炮击黑影人(加强版)
- 百扇门之谜
- 高尔夫大赛
- 七日
- 曼谷雨季
- 牵手向明天
- 执法群英
- 海滩
- 至尊红颜
- 一米阳光
- 延安颂
- 帝女花
- 换个活法