作者yauhh (哟)
看板logic
标题Re: [请益] 数理逻辑 The Predicate Calculus. Val …
时间Mon Jan 18 01:32:45 2010
※ 引述《priest0204 (香香)》之铭言：
: Let x and y be variables, A(x),B(x), and A(x,y) be any formulas,
: and A be any formula not containing any free occurrences of x.
: Then
: 1.╞(exist x)(A(x)orB(x))←→(exist x)A(x)or(exist x)B(x)
...
: Discuss the validity of formulas 1
(exist x)(Ax or Bx)
-> ~ ~(exist x)(Ax or Bx)
-> ~ (for all x) ~(Ax or Bx)
-> ~ (for all x) (~Ax and ~Bx)
-> ~ ((for all x) ~Ax and (for all x) ~Bx)
-> ~ (for all x) ~Ax or ~(for all x) ~Bx
-> ~ ~(exist x) Ax or ~ ~(exist x) Bx
-> (exist x) Ax or (exist x) Bx
(exist x) Ax or (exist x) Bx
-> ~ ~(exist x) Ax or ~ ~(exist x) Bx
-> ~ (for all x) ~Ax or ~ (for all x) ~Bx
-> ~ ((for all x) ~Ax and (for all x) ~Bx)
-> ~ (for all x) (~Ax and ~Bx)
-> ~ (for all x) ~(Ax or Bx)
-> ~ ~(exist x)(Ax or Bx)
-> (exist x)(Ax or Bx)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.160.214.1
1F：→ priest0204:谢谢帮忙 01/19 21:07