作者catawu ( ggg)
看板logic
标题Re: [请益] P -> Q
时间Mon Mar 7 00:48:32 2005
※ 引述《easytoshow (香草把逋)》之铭言：
: p,q为两叙述
: 当p->q为真时,可记作p=>q
: 此时p为q的充分条件
: q为p之必要条件
: 我的疑问发生在一题高中数学,原题是要判断充要条件
: "若x>2,则x>0"
: 上面这句话看起来恒成立
: 但是就若p则q的定义来看
: x>2 跟x>0并不算一个叙述押..XD
: 非常疑惑
: 我们通常很直观的假设前提正确,这时的确可推出结论
: 但是..x>2不是一个open sentence吗
不错啊!
居然注意到这一点了
不会很糟啊!
不过你想想看
若把x换成名字a
该句的意思还是不会差到哪里去的
若a>2, 则a>0
对吧!
其实在很多时候x都是当做任意一个name来用的
所以在很多逻辑书里面
都会使用open formula
还有open的就叫formula
不叫sentence.
: 是因为高中数学比较不严谨吗
: 烦请各位前辈解答我的疑惑 谢谢...orz
不客气
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.99