وارون (منطق)

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

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

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

• عکس (منطق)

منابع

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