エコノミック・ノート

経済学を正確に分かりやすく。あと数学、読書とか。

2020-05-14から1日間の記事一覧

量化子(∀,∃)付きのP→Q型命題を背理法で証明する方法まとめ

※間違い等ありましたらコメント頂けると助かります. タイトルのような命題の証明を背理法で考える際に混乱しまくっていたので, 同じ事で悩む人々のために共有しようと思います. なお基本的に同じ操作ですので, ここでは∃は扱わずに∀のみを扱います. ①:∀x[P(x…