实验逻辑学_智慧树知到答案2021年

绪章 绪论：第1编    LPL简介本编主要介绍LPL Software中包含的三个程序软件：Tarski’s World 7.0、Fitch 3.2和Boole 3.1的命令以及使用方法。第2编    实验逻辑学本编介绍如何使用Tarski’s World、Fitch和Boole三个逻辑软件对原子语句和原子语句的逻辑、布尔联结词和布尔联结词的逻辑、布尔逻辑的证明方法、蕴涵和蕴涵的逻辑、量词和量词的逻辑、多重量词、量词的证明方法等内容进行实验并给出相关的结果。0.1绪论:第1编 LPL简介本编主要介绍LPL Software中包含的三个程序软件：Tarski’s World 7.0、Fitch 3.2和Boole 3.1的命令以及使用方法。第2编 实验逻辑学本编介绍如何使用Tarski’s World、Fitch和Boole三个逻辑软件对原子语句和原子语句的逻辑、布尔联结词和布尔联结词的逻辑、布尔逻辑的证明方法、蕴涵和蕴涵的逻辑、量词和量词的逻辑、多重量词、量词的证明方法等内容进行实验并给出相关的结果。

Boole中的语句不能粘贴到Fitch中。（ ）