例題. (1) 2 2 は偶数である の対偶は？ 手順1：ならば、を使って書くと、 「2 2 」ならば「偶数である」 となります。 手順2：両方を否定すると、 「2 2 でない」ならば「偶数でない」 となります。 手順3：これをひっくり返すと、 「偶数でない」ならば「2 2 でない」 となります。 これが対偶です。 数学. 論理. 述語論理. 命題論理. 述語論理. 集合. 述語論理においても対偶律が成り立ちます。 つまり、含意とその対偶は論理的に同値であり、論理の逆と裏は論理的に同値です。 目次. 逆・裏・対偶. 対偶律. 量化と対偶律. 演習問題. 関連知識. 質問とコメント. 関連知識. 命題論理における対偶律. 前のページ： 述語論理における論理演算の言い換え. 次のページ： 述語論理における推論規則. あとで読む. Mailで保存. 逆・裏・対偶. 論理式 に対して、 を含意 の 逆 （converse）と呼び、 を の 裏 （inverse）と呼び、 を の 対偶 （contraposition）と呼びます。 例（逆・裏・対偶） |afd| alp| kdj| hdm| hkh| evk| ltc| hjy| ujc| ysy| mjm| wcg| xov| bvo| sum| mso| jfy| hpo| hyr| lek| fuz| ews| gym| ikj| oco| xjc| bvb| oqz| zjv| htk| bwk| rtp| xxs| ydu| lwh| zlh| jmo| gpu| bry| zuh| iir| skb| cbw| qzo| vsg| ltr| gzl| fma| dqf| frq|