![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?c9bd177)
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
「任意の論理式」という言葉が意味を持つためには、「論理式とは何か」が定義されていなくてはならない。
どんな定義であれ、その定義は、いくつかの選択の自由を組み合わせ、また再帰的に(つまり、定義しようとしている論理式自身を構成要素として利用する形で)作られています(さもなくば、特定の有限個の式だけを論理式と定義することしかできないからです)。ですから、その定義に沿って「どの選択をしても、…を用いて表すことができる」ということを、選択肢の場合ごとにしらみつぶしに証明すりゃ良いのです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 論理式、合成命題について 命題変数と論理記号を用いて命題を形式的に構成したものを論理式、または合成命 1 2022/04/12 21:06
- 日本語 意味とは何か、どこにあるのか? 16 2022/04/09 11:44
- 数学 述語論理の問題についての質問です。 次の述語論理式で表される命題から、→を削除し→を使わない式に書き 1 2023/02/12 16:53
- 数学 「古典論理」と「直観主義論理」について以下の質問をしました。 何かを証明したいときに「古典論理」では 3 2022/08/26 10:07
- 数学 以下 n を自然数, p を素数とする. (a) 整数10000を 10000=(a_4)7^4+( 3 2022/05/19 16:54
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 哲学 日本語のあたらしい文法を考えよう。 6 2022/06/25 17:41
- 哲学 不毛な議論 8 2023/03/03 07:31
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
素数の問題です
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
数学B漸化式です。 a1=1/5, an+...
-
命題と証明
-
命題を証明せよとはどういう意...
-
自然数の証明・・・?
-
a,bが有理数として√6が無理数を...
-
命題の真偽の問題で 命題〇〇に...
-
a,bが有理数のとき、a+b√2=0 な...
-
命題論理に関する英単語
-
x=y=0の否定について(再度...
-
数学1Aの問題集で、疑問に思う...
-
背理法が成り立つ理由
-
x,yが互いに素なとき、x+y/2とx...
-
n=3の倍数ならば、n=6の倍数で...
-
命題RならばQの反例を探すとき...
-
命題の証明の解き方を教えてく...
-
超越数は必ず無理数でないとい...
-
強い仮定、弱い仮定、とは
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
不完全定理により、「ある命題...
-
命題「PならばQ」でPが偽ならば...
-
超越数は必ず無理数でないとい...
-
数学の背理法について質問です...
-
数学の問題です! 教えてくださ...
-
強い仮定、弱い仮定、とは
-
a>0、b>0⇔a+b>0、ab>0
-
命題を証明せよとはどういう意...
-
次の空欄に当てはまるものを以...
-
「逆もまた真なり」について
-
x≠1⇒xの二乗≠1の真偽
-
高校数学です!m,nを整数とする...
-
「逆は必ずしも真ならず」の証...
-
背理法と対偶証明の違いについて
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学、論理
-
共分散の符号と相関係数の符号...
-
有理数を文字置き→互いに素な整...
-
数学の証明の問題です。
-
反対称的な2項関係の個数
おすすめ情報