用户名*
邮箱*
密码*
确认密码*
验证码* 点击图片更换验证码
找回密码
忘记密码了?输入你的注册邮箱,并点击重置,稍后,你将会收到一封密码重置邮件。
我先来:你昨天已经死了,这可能吗?感觉很有说服力了吧~
一切皆有“闭可能”?!
我最近突然发现自己搞不清楚“a可能是b”这样的命题的否定(非命题)是什么了!
仔细研究发现,原来是”可能”这个概念在实际中可以有4种逻辑上不同的含义!
于是我发明了4个词:将“可能”的概念类比开闭区间,分为开可能(不包含必然和必然非)、闭可能(包含必然和必然非)、正可能(只不含必然非)、负可能(只不含必然)。
必然q=q是重言式 =任意命题推出q=(任取x)Q(x)
若p则必然q=p→q是重言式=p推出q=(任取x)(P(x)→Q(x))
闭可能q=q或非q=非(非q且q),恒真。
若p闭可能q=p→(q或非q)=非(p且非q且q),恒真。
开可能q=正可能q且负可能q=(存在x)Q(x)且(存在x)非Q(x)
若p则开可能q=(存在x)(P(x)→Q(x))且(存在x)(P(x)→非Q(x))
正可能q=负可能非q=(存在x)Q(x) =非(不可能q)
若p则正可能q=(存在x)(P(x)且Q(x))=非(若p则不可能q)=p推不出非q=非(p推出非q)
负可能q=正可能非q=(存在x)非Q(x) =非(必然q)
若p则负可能q=(存在x)(P(x)且非Q(x))=非(若p则必然q)=p推不出q=非(p推出q)
正可能=负可能非=非不可能
负可能=正可能非=非必然
闭可能=正可能或负可能=非(必然且不可能)
开可能=正可能且负可能=非不可能且非必然=非(必然或不可能)
一定 =必然=非负可能
=→是重言式 =推出 =是充分条件
不一定=未必=负可能=非必然
=→不是重言式=推不出=不是充分条件
一定非=必然非=非正可能
若p则q
否定是
若p则非q
若p则一定(必然)q =若p则不可能非q =p推出q
=p是q的充分条件 =(任取x)(P(x)→Q(x))
若p则不一定(未必)q=若p则负可能q =p推不出q
=p不是q的充分条件=(存在x)(P(x)且非Q(x))
晕了木油@_@
综上,恒真的是闭可能,所以”一切皆有可能”里的可能应该是“闭可能”!负可能则相当于平常说的“不一定”、“未必”,闭可能、正可能和开可能在日常用语中则找不到专有的同义词,经常只是隐含的表达着。
反问:“一切皆有可能”这句话可能是错的么?
回答“可能”,那说明这句话不准确;
回答“不可能”,说明不是一切都可能,这句话仍然不准确。
既然一切皆有可能,那么,有可能这句话就是错的。
从逻辑学的角度讲要反驳 「一切皆有可能 」只需列举一个不可能发生的事件作为反例。
昵称*
E-Mail*
回复内容*
回复 ( 4 )
一切皆有“闭可能”?!
我最近突然发现自己搞不清楚“a可能是b”这样的命题的否定(非命题)是什么了!
仔细研究发现,原来是”可能”这个概念在实际中可以有4种逻辑上不同的含义!
于是我发明了4个词:将“可能”的概念类比开闭区间,分为开可能(不包含必然和必然非)、闭可能(包含必然和必然非)、正可能(只不含必然非)、负可能(只不含必然)。
必然q=q是重言式 =任意命题推出q=(任取x)Q(x)
若p则必然q=p→q是重言式=p推出q=(任取x)(P(x)→Q(x))
闭可能q=q或非q=非(非q且q),恒真。
若p闭可能q=p→(q或非q)=非(p且非q且q),恒真。
开可能q=正可能q且负可能q=(存在x)Q(x)且(存在x)非Q(x)
若p则开可能q=(存在x)(P(x)→Q(x))且(存在x)(P(x)→非Q(x))
正可能q=负可能非q=(存在x)Q(x) =非(不可能q)
若p则正可能q=(存在x)(P(x)且Q(x))=非(若p则不可能q)=p推不出非q=非(p推出非q)
负可能q=正可能非q=(存在x)非Q(x) =非(必然q)
若p则负可能q=(存在x)(P(x)且非Q(x))=非(若p则必然q)=p推不出q=非(p推出q)
正可能=负可能非=非不可能
负可能=正可能非=非必然
闭可能=正可能或负可能=非(必然且不可能)
开可能=正可能且负可能=非不可能且非必然=非(必然或不可能)
一定 =必然=非负可能
=→是重言式 =推出 =是充分条件
不一定=未必=负可能=非必然
=→不是重言式=推不出=不是充分条件
一定非=必然非=非正可能
若p则q
否定是
若p则非q
若p则一定(必然)q =若p则不可能非q =p推出q
=p是q的充分条件 =(任取x)(P(x)→Q(x))
否定是
若p则不一定(未必)q=若p则负可能q =p推不出q
=p不是q的充分条件=(存在x)(P(x)且非Q(x))
晕了木油@_@
综上,恒真的是闭可能,所以”一切皆有可能”里的可能应该是“闭可能”!负可能则相当于平常说的“不一定”、“未必”,闭可能、正可能和开可能在日常用语中则找不到专有的同义词,经常只是隐含的表达着。
反问:“一切皆有可能”这句话可能是错的么?
回答“可能”,那说明这句话不准确;
回答“不可能”,说明不是一切都可能,这句话仍然不准确。
既然一切皆有可能,那么,有可能这句话就是错的。
从逻辑学的角度讲要反驳 「一切皆有可能 」只需列举一个不可能发生的事件作为反例。