へっどらいん

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

対偶(たいぐう)

「pならばqである」という命題において、その仮設pと終結qとを交換して得られる命題「qならばpである」を元の命題のあべこべconverseという。また、仮設と終結をそれぞれ否定して得られる命題「pでないならばqでない」を元の命題の裏inverse、そして、仮設と終結をともに否定したうえ両者を交換して得られる命題「qでないならばpでない」を元の命題の対偶という。一つの真である命題からつくった対偶はかならず真である。


関連記事
スポンサーサイト

コメントの投稿

非公開コメント

プロフィール

哲学  哲学的  論理学  記号論理学  宗教学  宗教学 大学

Author:哲学 哲学的 論理学 記号論理学 宗教学 宗教学 大学
FC2ブログへようこそ!

最新記事
最新コメント
最新トラックバック
月別アーカイブ
カテゴリ
検索フォーム
RSSリンクの表示
リンク
ブロとも申請フォーム

この人とブロともになる

QRコード
QR

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。