対偶証明法と背理法
《解説》 **** １ 対偶証明法 **** ■ 条件ｐを満たすものの全体を集合Ｐで，条件ｑを満たすもの全体を集合Ｑで表わすとき，命題「ｐ→ｑ」は，Ｐ⊂Ｑに対応します． ｐ，ｑ あるいは ｐ（ｘ），ｑ（ｘ）が条件であるとき，この条件が成り立つかどうかはｘの値しだいです．例 条件ｘ＞１をｐ（ｘ）で表わすとき，ｘ＝２ならばｐ（ｘ）は真ですが，ｘ＝０ならばｐ（ｘ）は偽です． このように，条件については（どんなｘについても成り立つ［あるいは成り立たない］ような特別なものを除いて），それ自体の真偽を問うことはまれです－－条件は命題と異なり，真偽が定まるとは限りません．条件を満たすものの集合を考えるだけです． これに対して，「すべてのｘにたいして，ｐ（ｘ）が成り立つ」「あるｘについて，ｐ（ｘ）が成り立つ」という主張・判断は，正しいか間違っているかが定まる命題となります．一般に，条件ｐ（ｘ）に対して，「
工学ナビ
2016/6/23 スプラトゥーン！ 久しぶりに工学ナビ本体の記事を書きました！ 今回はスプラトゥーンネタです！ スプラトゥーン ハック！ 新しい記事「スプラトゥーン ハック！」を公開しました（2016/6/23） ゲーム「Watch Dogs」の再現プログラム「Watch Dogs Profiler」を公開しました（2015/3/23） コンピュータビジョン最終課題作品集（2014年度）を公開しました（2015/3/23） 画像の拡大縮小とクリッピングを同時に行うソフト「Image Cutter」を公開しました（2015/3/22） Webやアプリ用のアイコン画像を作るのを支援するソフト「Icon Image Trimmer」を公開しました（2014/8/12） Processingでのキャプチャ選択が楽になるライブラリ「CaptureSelector」を公開しました（2014/7/26
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
頂角20度の3角形の図形問題
