匿名質問者
匿名質問者匿名質問者とは「匿名質問」を利用して質問した質問者。
「匿名質問」では、ユーザー名を公開せずに匿名の質問ができます。
詳しくはこちら

この証明が分かりません。

a,bを論理式として、xを自由変数に持たないとします。
(a→∃xb(x))→∃x(a→b(x))

回答の条件
  • 1人5回まで
  • 13歳以上
  • 登録:2018/11/22 09:07:41
  • 終了:2018/11/29 09:10:04

ベストアンサー

匿名回答1号 No.1

匿名回答1号「匿名質問」を利用した質問に回答すると「匿名回答○号」と匿名で表示されます。
「匿名質問」では、ユーザー名を公開せずに匿名の質問ができます。
詳しくはこちら
2018/11/22 14:39:57

ブルバキのτ記号(に実質的に等しいこと)を認めてしまえば簡単ですが、そういうことではないですよね。

他9件のコメントを見る
匿名回答1号

上に書いたように、普通の数学なら、aがxを持ったら「混乱を招く書き方をするな」ということになるので、そういうのを除外しただけだと思います。

2018/12/08 10:34:27
匿名質問者

なるほど。ありがとうございました。

2018/12/08 23:13:52

コメントはまだありません

この質問への反応(ブックマークコメント)

「あの人に答えてほしい」「この質問はあの人が答えられそう」というときに、回答リクエストを送ってみてましょう。

これ以上回答リクエストを送信することはできません。制限について

絞り込み :
はてなココの「ともだち」を表示します。
回答リクエストを送信したユーザーはいません