※ 論理関連ページ:論理記号、論理法則−同値、論理法則−含意※参考文献・総目次 |
||
1. |
(命題 A⇔命題B)ならば、(¬命題A⇔¬命題B) |
[ 文献]中内『ろんりの練習帳』定理1.6.5-6(p.36); 本橋『新しい論理序説』7.5定理6(p.132) |
2. |
(命題 A⇔命題B)ならば、(命題Aかつ命題C⇔命題Bかつ命題C) |
|
3. |
(命題 A⇔命題B)ならば、(命題Aまたは命題C⇔命題Bまたは命題C) |
|
4. |
(命題 A⇔命題B)かつ(命題B⇔命題C)ならば、(命題A⇔命題C) |
|
reference)
吉田・栗田・戸田『昭和
63年度用 高等学校数学I』啓林館、1987年、pp.108-116。
→ トピック一覧:同値変形→総目次 |
|