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の引用と合わないね