数学ナビゲーター掲示板
(現在 過去ログ2 を表示中)
HOME
HELP
新規作成
新着記事
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[
最新記事及び返信フォームをトピックトップへ
]
[ トピック内全3記事(1-3 表示) ] <<
0
>>
■17293
/ inTopicNo.1)
命題について
▼
■
□投稿者/ たすく
一般人(1回)-(2006/09/12(Tue) 15:31:15)
命題の問題について教えてください!
命題A、Bについて
(A→B)→(A∧B)を簡単にせよ。
お願いします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■17294
/ inTopicNo.2)
Re[1]: 命題について
▲
▼
■
□投稿者/ KINO
付き人(94回)-(2006/09/12(Tue) 15:36:02)
■
No17293
に返信(たすくさんの記事)
> 命題の問題について教えてください!
>
> 命題A、Bについて
> (A→B)→(A∧B)を簡単にせよ。
>
> お願いします。
A→B ⇔ ¬A∨B を用いると,恒真命題を T とおけば
(A→B)→(A∧B)⇔ ¬(¬A∨B)∨(A∧B)
⇔ (A∧¬B)∨(A∧B)
⇔ A∧(¬B∨B)
⇔ A∧T
⇔ A.
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■17295
/ inTopicNo.3)
Re[2]: 命題について
▲
▼
■
□投稿者/ たすく
一般人(2回)-(2006/09/12(Tue) 15:39:15)
ありがとうございました!!!
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
トピック内ページ移動 / <<
0
>>
このトピックに書きこむ
過去ログには書き込み不可
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター