重言式 如果一个复合命题,不管其原子命题取什么值,它总是为真,则我们称之为重言式。比如 p → p , (p → q) → ( ﹁ q →﹁ p) 。从定义可知,如果 A 是重言式,则 ⊨A 。 和重言式相对的是矛盾式,即永远为假的命题,比如 p ∧﹁ p , p ↔ ﹁ p 。 如果要判断 B 是不是 A 的如果后承,即 A ...
作者: John Hospers 译者:马耀基 A :事实上,可能根本不存在一个物理世界。所有这一切都只是你的梦。你以为你是醒着的,但实际上你只是在做梦。 B :不。“梦”这个词只有在和现实生活比较的时候才有意义。我们在日常生活中经常区分它们:“我只是梦到那。”我们做这样的区分并无困难。有时我不知 ...