![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
証明してみよう。
何が証明であるかは用いる証明系によって違うので、
ここでは自然演繹を使ってみる。参考↓
https://abelard.flet.keio.ac.jp/person/takemura/ …
パソコンの文字列では証明図は書きにくいので、
各ステップの推論ごとにばらして書く。
[A∨B]1
---------- ∨除去規則
A
A, A→C
---------- →除去規則(三段論法)
C
[A∨B]1
---------- ∨除去規則
B
B, B→C
---------- →除去規則(三段論法)
C
C
---------- →導入規則,1
(A∨B)→C
以上を同じ論理式の並びのところで繋いで
木状に積み上げれば、
A→C, B→C
--------------------
(A∧B)→C
の証明図ができあがる。
一度自分で紙に書いて確認してほしい。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学的帰納法について質問があります。 8 2023/04/05 23:32
- 数学 n=1の時は成り立ち n=kのときA^k=(a^k a^k-1b)が成り立つとすると 0 0 n=k 6 2023/05/14 18:53
- 数学 中三の数学です。 a>0のとき,a≧√aは常に成り立つとは限らない。成り立たない場合のαの値を1つ答 14 2023/09/25 00:34
- 数学 コーシーリーマンの関係式の誘導 2 2022/06/13 10:35
- 物理学 化学工学の吸収塔 2 2023/08/17 16:37
- 数学 写真の問題の(4)についてですが、例えば赤のカードにおいて、他の数字は1枚ずつのままで5が2枚(他の 4 2023/07/29 03:49
- 数学 高一数学 二次関数 画像あり 〔HiPrime 57ページ 224番〕 (2)です。 答えに、 f3 4 2023/09/04 10:38
- その他(教育・科学・学問) クイズ! 嘘つきクイズ問題を作っています。辻褄があっているか、確認してください。 エイプリルフールに 3 2022/03/23 19:48
- 法学 共犯正犯 結果的加重犯について 2 2022/06/19 12:38
- 数学 連立方程式についての疑問 7 2022/06/19 19:48
このQ&Aを見た人はこんなQ&Aも見ています
-
「環境が人を育てる」って本当?環境によって人格や生き方は本当に変わるのか
環境が人生に与える影響は実際どれほどのものなのか、専門家の田宮由美さんに伺った。
-
π=4?√2=2?
数学
-
高一数Ⅰの問題です。 答えは0です。解き方教えてください!
数学
-
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
-
4
『3ℓと5ℓで8ℓ』の続き
数学
-
5
算数の割合の話ですがこのサイト間違えてますよね?
数学
-
6
数値計算の時間の刻み幅について
計算機科学
-
7
数学についての質問です。 Cさん:不等式(1ー√2)x > √18ー3を解くと、 (1ー√2)x >
数学
-
8
直感力を高めるほうほうっていう、
数学
-
9
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
10
たとえば123って3桁って言いますか?2桁って言いますか?(0ふたつ)
数学
-
11
なんで両辺に10をかけると8x+9y=23000になるのか教えてください!
数学
-
12
パソコン用語ひとつもわかりません
計算機科学
-
13
なんで 1/3=0.33333 なのに0.3333×0.3333であるはずの 1/9は0.11111
数学
-
14
次のルートの式は間違いですか?
数学
-
15
x^2−6x+5=0はx=1であるための何条件か?という問題で、答えは必要条件なのですが、解説をお願
数学
-
16
(1)の問題がさっぱり分かりません。答えには5πメートルとかいてありましたなぜそうなるのですか?解説
数学
-
17
−2.5を四捨五入すると−2ですか?−3ですか?
数学
-
18
因数分解の質問をさせて頂きます。
数学
-
19
4x+3x=7xって、xについての方程式ですよね? 式がいくつかあって、方程式がどれかを記号で選ぶ問
数学
-
20
蛍光灯製造は、なぜ全面禁止されるのですか?水銀含有製品だからですか?水銀とはそんなに恐ろしいものなの
その他(自然科学)
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
1000円の3割の計算教えて下さい
-
分配法則 引き算 割り算 成り立...
-
有効塩素濃度をNaClO濃度に換算
-
ポリエチレン容器(フレンチポッ...
-
化学について
-
動滑車の問題、これで合ってい...
-
ホルダーに緑色マークがつきます。
-
数字とはなんですか
-
5進数の413を9進数であらわすと...
-
チタンは濃硫酸に腐食されますか?
-
値入れ計算
-
高校1年化学の問題です。ホウ...
-
思考回路が現実的ではなく 夢見...
-
数値の丸め方
-
成人が未成年に手を出すという...
-
【長さ】2米は2mのことです...
-
20℃で体積1000Lの物体を75℃まで...
-
金に関する質問です K18¥3400 1...
-
a.bの値を求め方
-
高校化学基礎について 同素体っ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1000円の3割の計算教えて下さい
-
分配法則 引き算 割り算 成り立...
-
数独この先の解き方おしえてく...
-
0.1mgと0.025mgの違いは結構あ...
-
20℃で体積1000Lの物体を75℃まで...
-
自制思考またの名を自動思考を...
-
【3桁の数字】に【完全一致】す...
-
動滑車の問題、これで合ってい...
-
金に関する質問です K18¥3400 1...
-
a.bの値を求め方
-
ケンタッキーのアルバイトして...
-
高校化学基礎について 同素体っ...
-
成人が未成年に手を出すという...
-
高校1年化学の問題です。ホウ...
-
円錐ホッパーの下出口にかかる...
-
論理回路
-
この回路図の点線の表す意味が...
-
女性というのは声変わりがしな...
-
トントン日野の二トンと、トン...
-
数字とはなんですか
おすすめ情報