この種のパラドクスは命題論理としてブール代数を用いて計算すれば提示した通りなんですけれど、
《セールスマンの怖いパラドクス》では「客が製品を買う」以外にも「その製品は素晴らしくて客は買わない」「その製品は素晴らしくなくて客は製品を買わない」などすべての可能性がある。
《素晴らしい製品の矛盾するパラドクス》では「その製品は素晴らしくない」以外にも「その製品は素晴らしくて客は買う」「その製品は素晴らしくて客は買わない」などすべての可能性がある。
それらは述語論理学で解明できる。 ←結論
最終的には「命題論理学のパラドクスを述語論理で解いた例」としますｗ）
《セールスマンの怖いパラドクス》では「客が製品を買う」以外にも「その製品は素晴らしくて客は買わない」「その製品は素晴らしくなくて客は製品を買わない」などすべての可能性がある。
《素晴らしい製品の矛盾するパラドクス》では「その製品は素晴らしくない」以外にも「その製品は素晴らしくて客は買う」「その製品は素晴らしくて客は買わない」などすべての可能性がある。
それらは述語論理学で解明できる。 ←結論
最終的には「命題論理学のパラドクスを述語論理で解いた例」としますｗ）
アクセス
トータル
ランキング
