本书共分十六章，内容包括：Fitch3.2简介、Boole3.1简介、原子语句、原子语句的逻辑、布尔联结词、布尔联结词逻辑、布尔逻辑的证明方法、形式证明和布尔逻辑等。
前言
第1编LPLSoftware简介
第1章TarskTsWorld7.0简介
1.1启动
1.2世界控制板
1.3语句控制板
1.4验证语法和真
1.5玩游戏
1.6偏好
第2章Fitch3.2简介
2.1启动
2.2创建和编辑证明
2.3目标
2.4复制和粘贴
2.5打印证明
2.6建立练习
2.7参数设置
第3章Boole3.1简介
3.1启动
3.2编写真值表
3.3指定评价
3.4验证表
3.5保存或打印表
3.6选择参数
……
李娜，女，南开大学哲学院教授。1978年2月入河南大学数学系读本科，后获理学学士学位，1989年7月获中国科学院软件研究所理学硕士学位。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的教学与研究。主要从事数理逻辑、模态逻辑、集合论、抽象代数的研究。
