- 高校数学の質問スレPart401
888 :132人目の素数さん[sage]:2019/10/17(木) 10:23:35.70 ID:YlilKasD - >>887
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
|
- 高校数学の質問スレPart401
893 :132人目の素数さん[sage]:2019/10/17(木) 12:08:30.30 ID:YlilKasD - 合計丁度r個の点を任意に重複を許さずに選ぶ方法の総数は nPr である。
故に、nPr=n(n-1)(n-2)…(n-r+1) から nPr=(n!)/((n-r)!)。 これが許されてnCrが許されないのがほんと理解できませんね
|
- 高校数学の質問スレPart401
911 :132人目の素数さん[sage]:2019/10/17(木) 18:03:06.66 ID:YlilKasD - >>908
誤答おじさんって人だと思います
|