கணித நிறுவல்: திருத்தங்களுக்கு இடையிலான வேறுபாடு

எதிர்நிலைபாட்டு நிறுவல் "if ''p''சரியென்றால் அப்போது ''q'' சரியாகும்" எனும் முடிவை " '' q சரியில்லை என்றால்'' அப்போது ''p யும்சரியல்ல''" எனும் முற்கோளில் இருந்து பெறுகிறது. பின்கூற்று முன்னதன் எதிர்நிலப்பாட்டுக் கூற்றாகும் (The statement "if ''not q'' then ''not p''" is called the [[contrapositive]] of the statement "if ''p'' then ''q''"). எடுத்துகாட்டாக, எதிர்நிலைப்பாட்டு நிறுவலை, தரப்பட்ட முற்றெண் <math>x</math> எனில், <math> x^2 </math> இரட்டைப்படை எனில், அப்போது <math>x</math> இரட்டைப்படையாகும் என நிறுவப் பயன்படுத்தலாம்:

 

 

===எதிர்மறுப்பு நிறுவல்===