எதிர்நிலைபாட்டு நிறுவல் "if "p"சரியென்றால் அப்போது "q" சரியாகும்" எனும் முடிவை " " q சரியில்லை என்றால்" அப்போது "p யும்சரியல்ல"" எனும் முற்கோளில் இருந்து பெறுகிறது. பின்கூற்று முன்னதன் எதிர்நிலப்பாட்டுக் கூற்றாகும் (The statement "if "not q" then "not p"" is called the contrapositive of the statement "if "p" then "q""). எடுத்துகாட்டாக, எதிர்நிலைப்பாட்டு நிறுவலை, தரப்பட்ட முற்றெண் formula_1 எனில், formula_2 இரட்டைப்படை எனில், அப்போது formula_1 இரட்டைப்படையாகும் என நிறுவப் பயன்படுத்தலாம்:

சொற்பிறப்பியலும் வரலாறும்
வரலாறு
சொற்பிறப்பியல்
எதிர்நிலைப்பாட்டு நிறுவல்