◆ わからない問題はここに書いてね２５８ ◆

◆ わからない問題はここに書いてね２５８ ◆at MATH

◆ わからない問題はここに書いてね２５８ ◆ - 暇つぶし2ch264:１３２人目の素数さん
09/06/18 12:47:20
>>261
この定理が成り立つ論理体系であれば、大丈夫
URLﾘﾝｸ(ja.wikipedia.org)

ただ、2.3の箇所は変じゃね？
使えるのは1と2.1と2.2.1の3つで
それからsを導けば良い
p -> (r -> s)が真
pが真
rが真
順にpとrをを適用すればsが真なので証明終わり

次ページ

続きを表示

1を表示