HITSY 版 (精华区)

发信人: fujun (给我多一点时间忘记), 信区: HITSY
标  题: 计算机系2002年数理逻辑试题
发信站: 哈工大紫丁香 (2002年11月27日21:45:33 星期三), 站内信件

1，证明：
  (1).A->(B->C)<=>AandB->C
  (2).P<=>(PandQ)or(Pand┐Q)
2,求主析取、主合取范式：
  (1).QandQ->P
  (2).PorQ
3,在PC中证明：
  (1)├ (┐A->A)->A
  (2)├ A->┐┐A
  (3).├ (┐A->B)->((┐A->┐B)->A)
  (4).├ ((A->B)->C)->((C->A)->A)
4.在ND中证明：
  (1).├ ┐(AandB)<->(┐Aor┐B)
  (2).├ A->B<->┐AorB
5.在FC中证明：
  (1).├ 对任意v(A->B)<->(A->对任意vB
  (2).├ 存在v(A->B)<->(A->存在vB)
6.s为指派，t和t'为FC中的项，对t的构成用归纳法证明：
  _           __________
  s(t and t')=s(v|s(t')) (t)

--

  生命给了我智慧的头脑，我却用它来浪费生命 ......

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.226.228]