وارون (منطق)

وارون اصطلاحی در منطق است که به گزارهٔ عکس نقیضِ عکس یک گزارهٔ شرطی گفته می‌شود؛ بنابراین وارون گزارهٔ $P\to Q$ برابر $\mathrm{\neg }P\to \mathrm{\neg }Q$ است. با توجه به اینکه نقیض مضاعف یک گزاره با خود آن گزاره برابر است، وارون مضاعف یک گزاره نیز به خود آن گزاره می‌انجامد (وارون $\mathrm{\neg }P\to \mathrm{\neg }Q$ برابر با $\mathrm{\neg }\mathrm{\neg }P\to \mathrm{\neg }\mathrm{\neg }Q$ است که خود معادل $P\to Q$ خواهد بود).

همانگونه که یک گزارهٔ شرطی و عکس نقیض آن با هم معادلند، وارون و عکس یک گزارهٔ شرطی نیز از نظر منطقی با هم معادلند. با این وجود وارون یک گزارهٔ منطقی از خود آن گزاره قابل استنباط نیست.

جستارهای وابسته

• عکس (منطق)

منابع

• Wikipedia contributors, "Inverse (logic)," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Inverse_(logic)&oldid=625031942 (accessed May 7, 2015).