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