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