コンテンツにスキップ

出典: フリー百科事典『ウィキペディア(Wikipedia)』

命題「p⇒q」に対して、「q⇒p」を、元の命題の(ぎゃく、: converse)と言う。

ある命題とその逆の真偽は、必ずとも一致しない逆は必ずしも真ならず)。この表現は日常生活数学の中でことわざのように使用されることがある。

一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値(必要十分条件)であるという。

命題「p⇒q」に対して、逆「q⇒p」の対偶「¬p⇒¬q」を、元の命題のと言う。命題「p⇒q」に対して、対偶「¬q⇒¬p」の逆「¬p⇒¬q」は裏に等しくなる。全ての命題に対して、逆と裏の真偽は一致する。

逆も必ず真であるような誤謬をすることもある。(後件肯定

関連文献

[編集]
  • 前原昭二記号論理入門安東祐希 補足(新装版)、日本評論社〈日評数学選書〉、2005年12月。ISBN 978-4-535-60144-4https://www.nippyo.co.jp/shop/book/2703.html 
  • 矢野健太郎新しい数学岩波書店岩波新書 青版 G-8〉、1966年2月21日。ISBN 4-00-416008-1http://www.iwanami.co.jp/.BOOKS/41/1/4160080.html 

関連項目

[編集]

外部リンク

[編集]