不必多虑

正常听人说,他们整天整夜地为某事发愁、担忧。对于大部分人来说,担忧是人在面临挑战时寻求解决方案、希望不利于己方的事态不至于发生的一种方式,这种担忧其实是有积极意义的。但是有些担忧则是病态的,如有的人几乎是分分秒秒地为每一件事发愁,以致妨碍了自己的正常生活。英国有一位教授认为人之所以会过多担忧,有遗传上的因素,也有环境的影响。比如说,在孩提时遇到威胁时是如何应对的,父母亲又是怎样让孩子     

永真假性的研究

我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。不可满足的公式亦叫做永假公式。所谓永真假性问题是:     

传统逻辑与数理逻辑

一、传统逻辑的不足 数理逻辑的兴起与发展是沿着两条路的。其一是感到传统逻辑有不足的地方,加以改进,从而引起数理逻辑。另一个则是由数学基础的研究而引起的。现在我们先就第一方面立论,关于数学基础的研究方面,待我们有机会时再另文讨论。