| ■17294 / inTopicNo.2) |
Re[1]: 命題について
|
□投稿者/ KINO 付き人(94回)-(2006/09/12(Tue) 15:36:02)
 | ■No17293に返信(たすくさんの記事)
> 命題の問題について教えてください！
>
> 命題Ａ、Ｂについて
> （Ａ→Ｂ）→（Ａ∧Ｂ）を簡単にせよ。
>
> お願いします。
A→B ⇔ ¬A∨B を用いると，恒真命題を T とおけば
（Ａ→Ｂ）→（Ａ∧Ｂ）⇔ ¬(¬A∨B)∨(A∧B)
⇔ (A∧¬B)∨(A∧B)
⇔ A∧(¬B∨B)
⇔ A∧T
⇔ A.
|
|