经典逻辑的两个主要特征是什么？如何理解它们？
经典逻辑也被称为一阶逻辑，它的主要特征有两个，一个是外延的，另一个是二值的。
外延指的是一个陈述句所适用于的事物的集合，从量上规定其范围。一个符号表达式，它的意思就是它的为外延，就是它的真值。复合表达式的真值由组成它的部分的取值决定。一个符号表达式，它的意思就在于它的真值。
不满足外延性：必然的晨星是暮星。不是一个满足外延性的语句，因为它的组成部分是晨星是暮星，整个句子在不同时间真值不一。某人相信、知道p都不是。这些在认知逻辑里边研究和模态逻辑里，都是非经典逻辑，在经典的基础上增加新的算子。
所谓一阶，量词符号只与个体变项连用，谓词也是一阶谓词，其后只能跟个体变项或常项或由它们经函数符号组成的项。
二值是相对于多值逻辑而言，经典逻辑讨论只具有真、假二值的命题的逻辑。p的取值要么为真要么为假。
二值逻辑的特征是：(1)每一命题变项和公式至少在真或假二值中取一。(2)每一命题变项和公式至多在真或假二值中取一。(3)公式的值完全决定于其中变项的值。
一个演算系统包括那些组成部分？
命题演算包括两部分：形式语言、演算，而形式语言又包括两部分：初始符号和形成规则。或者另一种分法分为三部分：形式语言、公理、推理规则。形式语言的两部分仍然同上。
谓词演算系统LQ同样分为两部分，一部分是形式语言，一部分是演算，形式语言又包括初始符号和形成规则。
命题演算的语言Lp的初始符号有几类，形成规则有几条？
初始符号（alphabet）一般包括：命题符号、命题联结词、括号
形成规则一般有4条：1）p1是一个合式公式，其中i≥1。（命题符号是合式公式）
2）如果A是合式公式，那么⇁A是合式公式。（合式公式的否定是合式公式）
3）如果A是合式公式，B是合式公式，那么A→B、[A或B、A与B、A双蕴含B]就是合式公式。（两个合式公式由命题联结词所联结而成的(符号串)是合式公式）
4）只有符合以上规则的才是合式公式
什么是合式公式？辨析以下符号串是否为Lp的合式公式？
p1⇁
→p1p2
⇁p2
⇁p2→p1
1）p1是一个合式公式，其中i≥1。（命题符号是合式公式）
2）如果A是合式公式，那么⇁A是合式公式。（合式公式的否定是合式公式）
3）如果A是合式公式，B是合式公式，那么A→B、[A或B、A与B、A双蕴含B]就是合式公式。（两个合式公式由命题联结词所联结而成的(符号串)是合式公式）
4）只有符合以上规则的才是合式公式
第一个不是，第二个不是，第三个是，第四个也是
命题演算和谓词演算在对命题进行分析时有何不同？
命题演算把简单命题（不含逻辑联结词的命题）看作一个整体，不对它再做进一步的分析。而谓词演算则主要是简单刻画命题的内部结构。一个谓词演算的形式语言要在命题演算的形式语言上增加一些专门表示命题内部要素以及与这些符号有关的形成规则。所以谓词演算的公理中，除关于命题演算部分的公理外，也要相应增加与这部分语言有关的公理。一阶谓词逻辑演算系统中已经没有了p1什么的命题符号。
一阶谓词演绎的语言LQ的初始符号有几类，形成规则有几条？
初始符号一般有9类：个体变元符号、个体常项符号、谓词变项符号、函数符号、命题变项符号、命题联结词、量词、等词、括号。
形成规则一般规定10条：
1）xi是一个项，其中i≥1.
2）[ai是一个项，其中i≥1]
4）只有符合以上规则的才是Lq中的项。
5）[p1是一个合式公式，其中i≥1]
6）如果P1是Lq中的一个n元为此符号，t1…tn是Lq中的项，那么Pi（t1t2…tn）是合式公式。
7）如果A是合式公式，那么⇁A是合式公式。
8）如果A是合式公式，B是合式公式，那么A蕴含B、[A或B、A与B、A双蕴含B]就是合式公式。
9）如果A是一个合式公式，xi是变元，那么∀x1A是一个合式公式
10）只有符合以上规则的才是合式公式。
符号串⇁p2→（p1→⇁p2）与A→（B→A）有何区别？
形式上没有太大的区别，但是第一个符号串是合式公式，第二个它就不一定是合式公式
第一个符号串是对象语言，公理1，是具体的。第二个符号串是元语言，表达的是公理模式1schema不用替换、是代入规则。