اصطلاحی در است که به گزارهٔ ِ یک گزارهٔ شرطی گفته می‌شود؛ بنابراین وارون گزارهٔ برابر است. با توجه به اینکه یک گزاره با خود آن گزاره برابر است، وارون مضاعف یک گزاره نیز به خود آن گزاره می‌انجامد (وارون برابر با است که خود معادل خواهد بود).
 همانگونه که یک گزارهٔ شرطی و آن با هم معادلند، وارون و یک گزارهٔ شرطی نیز از نظر منطقی با هم معادلند. با این وجود وارون یک گزارهٔ منطقی از خود آن گزاره قابل نیست.
{"title": "وارون (منطق)", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%88%D8%A7%D8%B1%D9%88%D9%86_(%D9%85%D9%86%D8%B7%D9%82)&oldid=18997467", "language": "fa"}