કોન્ટ્રેપ્રોઝીટીવ સાબિતી કામ કરે છે કારણ કે જો તર્કસંગત સમાન છે, તો તાર્કિક સમકક્ષતાને કારણે, મૂળ શરતી વિધાન પણ સાચું છે.