なぜ悪質な永久機関ビジネスはなくならないのか？４

なぜ悪質な永久機関ビジネスはなくならないのか？４ at SCI

601:ご冗談でしょう？名無しさん
13/11/15 22:52:07.89
>>469
URLﾘﾝｸ(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の引用と合わないね

次ページ

続きを表示

1を表示