一、1、p。简单命题。
2、p∧q。联言命题。
3、p。负命题。
4、p∨q。不相容选言命题。
5、p∧q。联言命题。
6、pq。假言命题。
7、r （pq）。假言命题。
8、p∧q。联言命题。
二、用真值表的方法验证下述公式是否重言式 （略）1．（a ∧a） 是。
2．（a a） a 是。
3．a （a （bc））是。
4．（a （bc） （a b）（c a∨d）） 是。
5．a a∨（ac） 否。
6．（a b） （cd） （ac）（bd）））是。
三、用归谬赋值法判定下述公式是否重言式：
1．（ a a） a 是。
2．（a b）（（a ∨ c） （b ∨ d）） 是。
3．（a b）（（c d） （a ∧ c b ∧ d） ）是。
四、用树形图方法判定下述公式是否重言式：
1． a ∧a （a ∧ b）∨ c） 是。
a ∧a （a ∧ b）∨ c））
a ∧aa ∧ b）∨ c））aa*
2．（（a b） a） a 是。
（（a b） a） a）
a b） a）
aa ba*ab*
3．（a b）（ a∧c b ） 是。
（a b）（ a∧c b ））
a ba∧c b ））a∧cb
aca* b*4．（a b） （a∧c）（b∨ c）） 否。
（a b） （a∧c）（b∨ c））
a b（a∧c）（b∨ c））
a∧ca∧c）
b∨ c） b∨ caa cc
bc*b
cab五、在pn中证明，下列公式是pn的定理：
1．a ∨a
证明]1）（a ∨a假设。
2）a假设。
3）a ∨a2）析取引入。
4）（a ∨a） （1）假设引用。
5）a2）（3）（4）否定引入。
6）a ∨a5）析取引入。
7）（a ∨a1）假设引用。
8）a ∨a1）（6）（7）否定引入。
2．aa证明]
1）a假设。
2）a假设。
3）a假设引入。
4）a∧a合取引入。
5）a2）（4）否定引入。
6）aa1）（5）蕴涵引入。
7）a假设。
8）a假设。
9）a假设引入。
10）a∧a合取引入。
11）a8）（10）否定消除。
12）aa1）（5）蕴涵引入。
13）aa6）（12）引入。
3、（a∧a）
证明]1）a∧a假设。
2）a合取消除。
3）a合取消除。
4）（a∧a1）（2）（3）否定消除。
4．（ab） （ba）
证明]1）ab
2） b3）a
4）b5） b
6）b∧b7）a
8） ba9）（ab） （ba）
5．（a（b c））（c（b a））
证明]1）a（b c）
2）c3）b
4）a5）b c
6）b7）c
8）c9）c∧c
10）a11）b a
12）c（b a）
13）（a（b c））（c（b a））
6．（ab）（（bc）（ ac））
证明]1）ab
2）bc3）a
4）b5）c
6）ac7）（bc）（ ac）
8）（ab）（（bc）（ ac））
7．（a∧bc）（（c∧a）b）
证明]1）a∧bc假设。
2）c∧a假设。
3）b假设。
4）c∧a2）假设引用（自推规则）
5）c4）合取消除。
6）a4）合取消除。
7）a∧b6）（3）合取引入。
8）a∧bc1）假设引用（自推规则）
9）c7）（8）蕴涵消除。
10）c∧c9）（5）合取引入。
11）b3）（10）否定引入。
12）c∧ab2）（11）蕴涵引入。
13）（a∧bc）（（c∧a）b） （1）（12）蕴涵引入。
8．（a∧b）v（a∧c） a∧（b∨c）证明]1） （a∧b）v（a∧c假设。
2） a∧b假设。
3） a2）合取消除。
4） b2）合取消除。
5） b∨c4）析取引入。
6） a∧（b∨c3）（5）合取引入。
7） （a∧b） a∧（b∨c2）（6） 蕴涵引入。
8） a∧c假设。
9） a8）合取消除。
10） c8）合取消除。
11） b∨c10）析取引入。
12） a∧（b∨c9）（11）合取引入。
13） （a∧c） a∧（b∨c8）（12） 蕴涵引入。
14） a∧（b∨c1）（7）（13）析取消除。
15）（a∧b）v（a∧c） a∧（b∨c） （1）（14）蕴涵引入。
六、在pn中证明，下述推理是有效的：
1．a∧（bc），（c∧a） /b
证明]1）a∧（bc前提。
2）（c∧a前提。
3）b假设。
4）a1）∧-
5）bc1）∧-
6）c3）（5）-
7）c∧a6）（4）∧+
8）（c∧a2）∈（前提引用）
9）（c∧a）∧（c∧a7）（8）∧+
10）b3）（9）+
2．hk，（k∧l）m /∴l（ hm）
证明]1）hk前提。
2）（k∧l）m前提。
3）l假设。
4）h假设。
5）k1）（4）-
第二章习题答案
第二章习题。1 a企业受到票据。借 应收票据 468000 贷 主营业务收入 400000 应交税费 应交增值税 销项税额 68000 票据到期收回票款。借 银行存款 468000 贷 应收票据 468000 年计提利息。借 应收利息 6240 贷 财务费用 6240 票据到期收回票款。借 银行存款...
第二章习题答案
第二章。1.在立方点阵中画出下面的点阵面和结点方向。2.将下面几个干涉面 属立方晶系 按面间距的大小排列。解 立方晶系的面间距公式为，所以带入数据得到按面间距大小排列为 100 110 00 10 11 21 030 130 123 3.在六方晶系中h k i。证明1 如图，任意截面交和于c,d 过...
第二章习题答案
1 直接寻址方式中，一般只指出操作数的偏移地址，那么，段地址如何确定？如果想要用。某个段寄存器给出段地址，指令中如何表示？举例说明。答 在直接寻址方式中，操作数默认的段地址是数据段，在段寄存器ds中。例如 mov cl，3120h 操作数地址为数据段内偏移地址为3120h的单元。如果想要用其它段寄存...