语言
没有数据
通知
无通知
論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論理的な真偽は常に一致する。したがって、ある命題が真ならばその対偶も真であるし、偽の場合もしかりである。 対偶論法(たいぐうろんぽう、英:
(1)対(ツイ)になっていること。 対称をなすこと。
(1)守らねばならないきまり。 おきて。
(1)偶然。 ちょうどその時。
港則法(こうそくほう、昭和23年法律第174号)は、港内における船舶交通の安全及び港内の整とんを図ることを目的とした日本の法律。 海上保安庁交通部航行安全課が所管し、同庁海洋情報部航海情報課、国土交通省海事局安全・環境政策課および港湾局海岸・防災課と連携して執行にあたる。 第1章 - 総則(第1条-第3条)
めったにない・こと(さま)。 まれ。
対偶(たいぐう、英: Contraposition)とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば ( ⇒ {\displaystyle \Rightarrow