[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

601: 2013/11/15(金)22:52 ID:??? AA×
>>469>>375

外部ﾘﾝｸ:en.wikipedia.org

[240|320|480|600|原寸|JPG|べ|ﾚｽ栞|ﾚｽ消]
601: [sage] 2013/11/15(金) 22:52:07.89 ID:??? >>469 http://en.wikipedia.org/wiki/Paraconsistent_logic#Example で例に挙げられた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の引用と合わないね http://rio2016.5ch.net/test/read.cgi/sci/1375192413/601
で例に挙げられたでは仮定 からは証明できて は証明できない 敬君の意味で仮定 からが推論可能 一方古典論理では仮定 からも も証明できる 敬君の意味で仮定 からは推論不可能 は古典論理より敬君の意味で推論能力が高いことになる の引用と合わないね

---

上下前次1-新書関写板覧索設栞歴

---

あと 162 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.021s