自己言及矛盾

よもやま話

モンティ・ホール問題

モンティ・ホール問題 <投稿された相談> プレーヤーの前に閉じた3つのドアがあって、1つのドアの後ろには景品の新車が、2つのドアの後ろには、はずれを意味するヤギがいる。プレーヤーは新車のドアを当てると新車がもらえる。プレーヤーが1つのドアを...
数学とか

頭の体操 その二

A,B,C(仮定) A→A∨(B∨C)(∨導入→導入) B→A∨(B∨C)(∨導入→導入) C→A∨(B∨C)(∨導入→導入) A∨B(仮定) A∨(B∨C)(∨除去) A∨B→A∨(B∨C)(→導入) (A∨B)∨C(仮定) A∨(B∨C...