ログイン新規登録

お使いのブラウザ（Internet Explorer）では閲覧、ログイン、質問の作成や回答などに不具合が生じることがございます。
誠に恐れ入りますが、下記の推奨ブラウザをご利用くださいませ。

推奨ブラウザ：Google Chrome（グーグル・クローム）

CLOSE

GUYBEE

@ GUYBEE

GUYBEEさんの回答返信率高

低中高

100 %

回答返信率は回答にコメントを返信した割合です（直近の30回答から算出）。先生から回答を貰ったらコメントを返信しましょう

勉強レベル2

質問数

2

回答数

0

その他の質問

回答待ち

下記の論理式が、一般的には恒真にはならないことを具体例
を挙げることにより証明せよ：
① ∃𝑥B → ∀𝑥B
② (∀𝑥B → ∀𝑥C) → ∀𝑥(𝐵 → 𝐶)
この証明わかる方いたらよろしくお願いします

2週間前

その他の質問

下記の論理式が、一般的には恒真にはならないことを具体例
を挙げることにより証明せよ：
① ∃𝑥B → ∀𝑥B
② (∀𝑥B → ∀𝑥C) → ∀𝑥(𝐵 → 𝐶)
この証明わかる方いたらよろしくお願いします

2週間前

その他の質問

回答待ち

「どんな論理式𝐴に対しても、𝐴~𝐵となる論理式𝐵で、⊃と¬の
みを論理結合子として含むものがあることを証明せよ。」　この問題の証明がわかりません。わかる方がいたら教えてください。数理論理の論理的同値性についての問題です。

3週間前

1 人が回答しました

追加の質問コメントがあります質問するところ間違ってませんか？

その他の質問

「どんな論理式𝐴に対しても、𝐴~𝐵となる論理式𝐵で、⊃と¬の
みを論理結合子として含むものがあることを証明せよ。」　この問題の証明がわかりません。わかる方がいたら教えてください。数理論理の論理的同値性についての問題です。

3週間前

1 人が回答しました

追加の質問コメントがあります質問するところ間違ってませんか？

＞

GUYBEE