大拱桥--暨南大学学生门户 » 图书馆 » 逻辑学(论理学) » 逻辑学实验教程
名称 逻辑学实验教程
索引号 B81/20136
分类号 B81
B81(逻辑学(论理学))
B(哲学、宗教)
作者 李娜、
出版社 天津 : 南开大学出版社, 2012
ISBN 978-7-310-04045-2
页数 389页 : 图 ; 21cm
价格 CNY29.00
标签
简介
注解 本书包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是LPL软件的操作与应用。本书主要讲解LPL中三个软件Fitch、Boole和Tarski's World的操作和应用。
书籍简介

本书包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是LPL软件的操作与应用。本书主要讲解LPL中三个软件Fitch、Boole和Tarski's World的操作和应用。