名前: 村越 信太郎 日時: 2007-04-19 01:44:12 IPアドレス: 125.197.236.* 今のメールで１つ書き忘れましたが、 結論の真理値が１か０かということによる 真偽の判定に基づく証明の話ではないですよ。 くれぐれも仮定の真理値を（０ではなく）１とした上で 結論の真理値が１であることを導くという 普通の証明をして下さい（可能ならばの話ですが）。
この書き込みへの返事：