[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
375(5): 2013/08/17(土) NY:AN:NY.AN ID:KGz9QE31(1/4) AAS
ばーかＷＷＷＷＷ
矛盾許容論理は常に古典論理よりも弱い
矛盾許容論理は他の論理体系よりも弱いとされている。
これはつまり、矛盾許容論理による推論能力が弱いということである。
矛盾許容論理では、通常の論理体系で偽とされるものを真とする可能性があるが、問題はそこではなく、
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
そういった意味で、矛盾許容論理は古典論理よりも「保守的」あるいは「慎重」である。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
省2
388(8): 2013/08/17(土) NY:AN:NY.AN ID:??? AAS
>>375
推論能力の強さでいったら
矛盾している素朴集合論はそこからあらゆる論理式を証明できる最強の体系ですよ
397(1): 2013/08/18(日) NY:AN:NY.AN ID:??? AAS
>>375
散々けなしてた日本語版バカペディアから丸写しか
外部ﾘﾝｸ:ja.wikipedia.org
601: 2013/11/15(金)22:52 ID:??? AAS
>>469
外部ﾘﾝｸ:en.wikipedia.org
で例に挙げられたLPでは、仮定p, not p, qからqは証明できてnot qは証明できない
敬君の意味で仮定p, not p, qからqが推論可能
一方、古典論理では仮定p, not p, qからqもnot qも証明できる
敬君の意味で仮定p, not p, qからqは推論不可能
paraconsistent logic LPは古典論理より、敬君の意味で推論能力が高いことになる
>>375の引用と合わないね
602: 2013/11/16(土)22:50 ID:??? AAS
>>375
外部ﾘﾝｸ:www.iep.utm.edu
Secondly, since DS is a valid classical inference, we can see clearly that a paraconsistent logic will validate fewer inferences than classical logic.
(No classically invalid inferences are going to become valid by dint of inconsistent information.)
That is the whole idea―that classical logic allows too much, and especially given the possibility of inconsistency, we must be more discriminating.
This is sometimes expressed by saying that paraconsistent logics are ‘weaker’ than classical logic; but since paraconsistent logics are more flexible and apply to more situations, we needn’t focus too much on the slang.
Classical logic is in many ways more limited than paraconsistent logic (see §4c.).
「矛盾許容」とか「弱い」といった言葉の響きだけで分かったつもりになっているようでは理系として無能
博士課程まで来てそんなでは救いようが無い馬鹿
606: 2014/02/15(土)22:38 ID:??? AAS
>>366
証明において全ての公理を使う必要は無い
そもそもZFの公理は無限個なのに対し、証明は有限の長さなのだから、全ての公理を使うのは不可能
本当に初歩的な知識も無いままデタラメ喚き散らしてる
>>372>>373>>377
論文はparaconsistent set theoryが主題だが、引用した部分は本題に入る前の枕として古典論理上でのラッセルのパラドックスについて述べている
paraconsistentという単語に反応してグダグダ喚く人工無能は平君
>>389
証明する意味など関係無く、証明能力の強いとはより多くの命題が証明できること
証明能力の強さが演繹体系の有用さではないということを矛盾した公理系の例から察しろというのは白痴未満君には無理な要求だった
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s